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