Index of module types

D
Direction_T [Cf_deque]	Functions for operations on one of the two ends of a deque.
E
Encoding_T [Cf_unicode]	The module type defining the relationship between UCS4 and a given UTF encoding of Unicode characters.
Expr_Op_T [Cf_lex]	The module type containing the subexpression composition operators.
Expr_Op_T [Cf_dfa.T]	The signature of modules containing operators for composing DFA expressions.
O
Op_T [Cf_dfa.T]	The signature of the `Op` module, which contains the composition operators.
Op_T [Cf_dfa.T.X]	The signature of the `Op` module, which contains the composition operators.
S
Symbol_T [Cf_dfa]	The type of the input module for `Create(S: Symbol_T)` functor defined below.
T
T [Cf_dfa]	The output of the `Create(S: Symbol_T)` functor, which is a module that can be used to compose deterministic finite automata which operate on symbols of the type specified.
T [Cf_set]
T [Cf_map]
T [Cf_pqueue]	This module defines the common interface to functional priority queues in the `Cf` library.
T [Cf_heap]	This module defines the common interface to functional heaps in the `Cf` library.
T [Cf_journal]
Total_T [Cf_ordered]	The module type defining a type `t` and a corresponding function to give the total order of all values of that type.
Transcoding_T [Cf_unicode]	The module type that results from the application of the `C_create(E: Encoding_T)` functor below.