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_T [Cf_dfa.T.X] | The signature of the |
S | |
Symbol_T [Cf_dfa] | The type of the input module for |
T | |
T [Cf_dfa] | The output of the |
T [Cf_set] | |
T [Cf_map] | |
T [Cf_pqueue] | This module defines the common interface to functional priority queues in
the |
T [Cf_heap] | This module defines the common interface to functional heaps in the |
T [Cf_journal] | |
Total_T [Cf_ordered] | The module type defining a type |
Transcoding_T [Cf_unicode] | The module type that results from the application of the |