Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


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 pretty-printers
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
Knuth-Bendix 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 n-ary 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.