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: functor below.
|