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`