Display_hasse_impl
Default specification than can be used by the pretty-printer for Hasse-diagrams.
Display_hasse_intf
Default specification for drawing with the DOT-utility.
Pomap_impl
Implementation of partially ordered maps
Pomap_intf
Specification of a partial order relation
Ptset
Store_impl
Implementation of stores
Store_intf
Specification of indices used to index elements in stores