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.