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