C  
compare [PSHGraph]  
compare [SHGraph]  
compare [PHashhe]  
compare [Hashhe]  
E  
el [Ilist] 
Type of list elements.

elt [MultiSetList.S] 
Type of multiset elements

elt [SetList.S] 
The type of the set elements.

elt [Sette.S] 
The type of the set elements.

G  
graph [SHGraph]  
graph [FGraph]  
H  
hashtbl [Hashhe]  
hedge [SHGraph.T] 
Type of hyperedge identifiers

hedge [SHGraph.S]  
hedge_n [SHGraph]  
K  
key [Hashhe.S]  
key [Mappe.S]  
M  
map [Mappe]  
N  
node [FGraph]  
P  
priority [PSHGraph]  
priority [SHGraph]  
S  
set [Sette]  
T  
t [Rational]  
t [Union] 
The type of the data structure storing set membership (the universe)

t [Symbol] 
Type of symbols (actually integers)

t [PSHGraph]  
t [SHGraph.S] 
Type of hypergraphs, where 'a : information associated to vertices, 'b : information associated to hedges, 'c : userinformation associated to an hypergraph

t [SHGraph] 
The type of hypergraphs where 'a : type of vertices, 'b : type of hedges, 'c : information associated to vertices, 'd : information associated to hedges, 'e : userinformation associated to an hypergraph

t [FGraph.S] 
The type of graphs, where:
'b is the type of vertex attribute (attrvertex);, 'c is the type of edge attributes (attredge)

t [FGraph]  
t [FGraph1.S] 
The type of graphs, where:
'b is the type of vertex attribute (attrvertex);, 'c is the type of edge attributes (attredge)

t [FGraph1]  
t [Ilist] 
Type of imbricated lists.

t [MultiSetList.S] 
Type of multisets over type
elt .

t [MultiSetList] 
The type of multisets over elements of type 'a.

t [SetList.S] 
The type of sets.

t [SetList] 
The type of sets over elements of type
'a .

t [PDHashhe]  
t [DHashhe.S]  
t [DHashhe] 
The type of twoway hashtables, meant to be abstract

t [PDMappe]  
t [DMappe.S]  
t [DMappe] 
The type of twoway maps

t [PHashhe]  
t [Hashhe.HashedType] 
The type of the hashtable keys.

t [Hashhe.S]  
t [Hashhe] 
The type of hash tables from type
'a to type 'b .

t [PMappe]  
t [Mappe.S]  
t [Mappe] 
The type of maps from type
'a to type 'b .

t [PSette]  
t [Sette.S] 
The type of sets.

t [Sette] 
The type of sets over elements of type 'a.

V  
vertex [SHGraph.T] 
Type of vertex identifiers

vertex [SHGraph.S]  
vertex [FGraph.S] 
The type of vertices

vertex [FGraph1.S] 
The type of vertices

vertex_n [SHGraph]  
X  
x [DHashhe.S]  
x [DMappe.S]  
Y  
y [DHashhe.S]  
y [DMappe.S] 