functor (Spec : SPEC with type (+'a) node = 'a POMap.node) -> DISPLAY_HASSE with type pomap = Spec.el POMap.pomap
Functor that generates a pretty-printer for Hasse-diagrams from
a partially ordered map and a pretty-printer specification. See the
Display_hasse_intf.DISPLAY_HASSE-interface for documentation.