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.