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