A  
Asttypes 
Auxiliary AST types used by parsetree and typedtree

Axiom 
Representations of Moca equations

C  
Ccomp 
Compiling C files and building C libraries

Check 
Builds various hash tables for generators and types

Clexer 
Completion lexer

Clflags 
Various compilation flags

Code 
Definitions and library for the emitted AST

Comp 
KnuthBendix completion

Complete 
Completion of algebraic properties.

Config 
System configuration

Configuration 
Configuration elements for Moca

Consistbl 
Consistency tables: for checking consistency of module CRCs

Cp 
Critical pairs

Cparser  
D  
Debug 
Access to debugging elements and resources

E  
EqnSet [Equation]  
Eqnrel 
Convert a set of Moca relations into a set of equations.

Equation 
Equations for completion

F  
File 
File related utilities and configuration elements

G  
Genr 
Generation of construction functions for a type definition.

Genr_base 
Basic definitions for generation functions.

Genr_binary 
Construction functions for binary generators.

Genr_equalities  
Genr_expression 
Generation of expressions for construction functions.

Genr_listary 
Construction functions for listary generators

Genr_listary_equations  
Genr_memo 
Maximum sharing handling.

Genr_mli 
Generate the interface file of the Moca algebraic datatype

Genr_nary 
Construction functions for nary generators.

Genr_nullary 
Construction function generation for nullary generators

Genr_pattern 
Pattern generation for Caml code clauses.

Genr_sharing 
Generation of functions to get maximal sharing for the values of a given
type

Genr_substitutions  
Genr_testing  
Genr_unary 
Generation of construction function for unary generators.

Genr_values 
For our semantically meaningful abbrevs for int type.

I  
IntMap [Useful]  
IntSet [Useful]  
L  
Lexer  
Linenum 
An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename"

Listutils 
Miscelaneous list functions

Location 
An arbitrary value of type
t ; describes an empty ghost range.

Longident 
Long identifiers, used in parsetree

M  
Main 
Driving the mocac compiler and its options.

Make [Myset]  
Match 
Matching for completion

Misc 
Miscellaneous useful types and functions

Mylist 
List functionalities, extending the standard OCaml library

Myset 
Useful functions on sets, extending the OCaml library Set functor

N  
Norm 
Normalization of completion terms

Norm_ml 
Generate ML normalization

O  
OrdEqn [Equation]  
OrdRul [Rule]  
Order 
Term ordering utilities

Otype 
Functions on OCaml types.

P  
Parse 
Entry points in the parser

Parser  
Parsetree 
Modified OCaml parsetree for Moca

Pr_code 
Printing the code we generate.

Pr_ocaml 
Printing Objective Caml types and expressions.

Prec 
Precedence definitions

Printast 
Access to various AST prettyprinters

R  
Randomutils  
RelMap [Relation]  
RelOrd [Relation]  
RelSet [Relation]  
Relation 
Operations on relations of relational types.

Rename 
Variable renaming

RulSet [Rule]  
Rule 
Rewrite rules definitions

S  
Str [Main]  
StrMap [Useful]  
StrSet [Main]  
StrSet [Useful]  
Subs 
Substitutions

Subterm 
Basic functions on terms

Symb 
Symbols in completion

SymbolMap [Symb]  
SymbolSet [Symb]  
Syntaxerr 
Auxiliary type for reporting syntax errors

T  
Tbl 
Association tables from any ordered type to any type

Term 
Term data structure

Term_utils 
Common functions for building terms

Terminfo 
Basic interface to the terminfo database

Tgenr_base  
Typed_vars  
U  
Unif 
Unification

Useful 
Useful functions, modules and types

V  
Var 
Variable definition and utilities for completion purposes

VarMap [Var]  
VarSet [Var]  
W  
Warnings 
Various warnings emitted by the OCaml compiler
