Index of module types
O
OrderedType
[
Heap
]
Input signature of the heap functors.
S
Search
[
Context_unifier_search
]
signature for context unifier search.
T
T_Preserving
[
Subst
]
interface for specialized set modules