Index of modules


D
DefaultSpec [Display_hasse_impl]
Default specification than can be used by the pretty-printer for Hasse-diagrams.
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.

I
IntIx [Store_impl]
IntStore [Store_impl]
Ix [Store_intf.STORE]
Index module used to index elements in the store

M
Make [Store_impl]
Make [Pomap_impl]
Make [Display_hasse_impl]
Functor that generates a pretty-printer for Hasse-diagrams from a partially ordered map and a pretty-printer specification.
Map [Store_intf.INDEX]
Efficient maps of indices

P
Pomap_impl
Implementation of partially ordered maps
Pomap_intf
Specification of a partial order relation
Ptset

S
Set [Store_intf.INDEX]
Efficient sets of indices
Store [Pomap_intf.POMAP]
Store module used to store nodes of the partially ordered map.
Store_impl
Implementation of stores
Store_intf
Specification of indices used to index elements in stores