Module Pomap.Display_hasse_intf

module type DEFAULT_SPEC : sig ... end

Default specification for drawing with the DOT-utility.

module type SPEC : sig ... end

Specification for drawing Hasse-diagrams.

module type DISPLAY_HASSE : sig ... end

Interface for drawing Hasse-diagrams.