Index of types


A
add_find_result [Pomap_intf.POMAP]
Type of result originating from an add_find operation

E
el [Pomap_intf.PARTIAL_ORDER]
Element type
el [Display_hasse_intf.SPEC]
elt [Ptset]

G
gen [Store_intf.INDEX]
Type of index generators

K
key [Pomap_intf.POMAP]
Type of map keys

N
node [Pomap_intf.POMAP]
Type of nodes in the partially ordered map
node [Display_hasse_intf.SPEC]

O
ord [Pomap_intf.PARTIAL_ORDER]

P
pomap [Pomap_intf.POMAP]
Type of partially ordered maps
pomap [Display_hasse_intf.DISPLAY_HASSE]

T
t [Ptset]
t [Store_intf.INDEX]
Type of indices
t [Store_intf.STORE]
Type of stores