Index of modules


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