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