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