Index of module types


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 Union-find 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.


Hosted by the SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.