Functor Display_hasse_impl.Make

module Make: 
functor (POMap : Pomap_intf.POMAP) ->
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.
Parameters:
POMap : Pomap_intf.POMAP
Spec : SPEC with type (+'a) node = 'a POMap.node