C  
ComparedType [Util] 
Type of modules that may be used as keys for
Map and Hashtbl .

Constructor [Term_logic] 
Signature for logical constructors.

G  
Generator [Id] 
Generator of identifiers.

I  
IndexedType [Index] 
Signature for types with natural number indexing.

Integral_value [Dl_number]  
L  
L [Dl_core]  
M  
Map [Index] 
Signature of maps over indexed types.

Map2 [Index] 
Signature of two argument maps where the first argument is an
indexed type.

P  
PriorityQueue [Index] 
Signature of priority queues over indexed types.

R  
Rewriter [Term_logic] 
Signature for Term Rewriters.

S  
S [Union_find] 
The Unionfind data structure.

S [Bihashtbl] 
Output signature of the functor
Bihashtbl.Make

Set [Index] 
Signature of sets over indexed types.

T  
T [Id] 
Unique identifiers.

T [Dl_number]  
T [Dl_core]  
T [Dl] 
Interface for a Difference Logic Solver.
