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(SSymbol_T) functor defined below.

T
T [Cf_dfa]

The output of the Create(SSymbol_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.