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
|