Parsetree 
Modified OCaml parsetree for Moca

Asttypes 
Auxiliary AST types used by parsetree and typedtree

Misc 
Miscellaneous useful types and functions

Tbl 
Association tables from any ordered type to any type

Config 
System configuration

Clflags 
Various compilation flags

Terminfo 
Basic interface to the terminfo database

Ccomp 
Compiling C files and building C libraries

Warnings 
Various warnings emitted by the OCaml compiler

Consistbl 
Consistency tables: for checking consistency of module CRCs

Linenum 
An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename"

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

Longident 
Long identifiers, used in parsetree

Syntaxerr 
Auxiliary type for reporting syntax errors

Parser  
Lexer  
Parse 
Entry points in the parser

Printast 
Access to various AST prettyprinters

Configuration 
Configuration elements for Moca

File 
File related utilities and configuration elements

Useful 
Useful functions, modules and types

Debug 
Access to debugging elements and resources

Mylist 
List functionalities, extending the standard OCaml library

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

Relation 
Operations on relations of relational types.

Otype 
Functions on OCaml types.

Pr_ocaml 
Printing Objective Caml types and expressions.

Code 
Definitions and library for the emitted AST

Pr_code 
Printing the code we generate.

Check 
Builds various hash tables for generators and types

Var 
Variable definition and utilities for completion purposes

Symb 
Symbols in completion

Term 
Term data structure

Term_utils 
Common functions for building terms

Subterm 
Basic functions on terms

Order 
Term ordering utilities

Prec 
Precedence definitions

Subs 
Substitutions

Match 
Matching for completion

Rename 
Variable renaming

Unif 
Unification

Rule 
Rewrite rules definitions

Equation 
Equations for completion

Cparser  
Clexer 
Completion lexer

Cp 
Critical pairs

Norm 
Normalization of completion terms

Norm_ml 
Generate ML normalization

Comp 
KnuthBendix completion

Axiom 
Representations of Moca equations

Genr_pattern 
Pattern generation for Caml code clauses.

Genr_base 
Basic definitions for generation functions.

Genr_memo 
Maximum sharing handling.

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

Genr_expression 
Generation of expressions for construction functions.

Eqnrel 
Convert a set of Moca relations into a set of equations.

Complete 
Completion of algebraic properties.

Genr_nary 
Construction functions for nary generators.

Genr_listary 
Construction functions for listary generators

Genr_binary 
Construction functions for binary generators.

Genr_unary 
Generation of construction function for unary generators.

Genr_nullary 
Construction function generation for nullary generators

Genr 
Generation of construction functions for a type definition.

Genr_mli 
Generate the interface file of the Moca algebraic datatype

Listutils 
Miscelaneous list functions

Randomutils  
Tgenr_base  
Genr_values 
For our semantically meaningful abbrevs for int type.

Typed_vars  
Genr_listary_equations  
Genr_substitutions  
Genr_equalities  
Genr_testing  
Main 
Driving the mocac compiler and its options.
