Module Display_hasse_impl

module Display_hasse_impl: sig .. end
Default specification than can be used by the pretty-printer for Hasse-diagrams. Just include it into some module and override the defaults as required.

module DefaultSpec: sig .. end
Default specification than can be used by the pretty-printer for Hasse-diagrams.
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.