Index of types


A
axiom [Axiom]

B
binary_fun_exp [Genr_base]
The type of a function that takes two expression arguments and returns an expression that represents the application of the function to these arguments.

C
clause [Code]
clauses [Code]
closed_flag [Asttypes]
cmp [Order]
comparisons [Genr_base]
The triple of a lesser, an equal, and a greater predicate.
constant [Asttypes]
constructor_definition [Otype]

D
dir_name [File]
direction_flag [Asttypes]
distributivity_direction [Parsetree]

E
elt [Main.StrSet]
eqn [Equation]
error [Check]
error [Lexer]
error [Syntaxerr]
ers [Comp]
exp [Code]

F
file_extension [File]
file_name [File]
filename [Code]
fprintf [Useful]

G
generated_function [Genr_base]
generated_functions [Genr_base]
generator [Parsetree]
generator_arity [Check]
generator_info [Check]
The complete information associated to a generator.

I
ident [Code]
Any kind of ident.
iident [Code]
Infix ident.
iname [Code]
The name of an infix symbol.

K
kb_result [Eqnrel]

L
label [Asttypes]
lident [Code]
Lowercase ident.
link_mode [Ccomp]
locality [Check]

M
max_length [Tgenr_base]
module_name [Tgenr_base]
module_name [File]
Various names for specialized versions of string.
msg [Check]
Possible errors.
mutable_flag [Asttypes]

N
nesting_depth [Tgenr_base]
num_tests [Tgenr_base]

O
ord [Order]
Result type for comparison functions
override_flag [Asttypes]

P
pattern [Match]
pattern [Code]
position [Subterm]
Positions in a term
prec [Prec]
private_flag [Asttypes]

R
randomize [Tgenr_base]
rec_flag [Asttypes]
rel_desc [Parsetree]
relation [Parsetree]
relation_side [Parsetree]
relations [Parsetree]
relations_desc [Parsetree]
renaming [Rename]
rpo_precedence [Parsetree]
rpo_status [Parsetree]
rule [Rule]

S
seed [Tgenr_base]
side [Axiom]
status [Terminfo]
structure [Code]
structure_item [Code]
subs [Subs]
symbol [Symb]

T
t [Main.StrSet]
t [Main.Str]
t [Useful.ORD_PRT]
t [Longident]
t [Location]
t [Consistbl]
t [Warnings]
t [Tbl]
term [Term]
theory [Axiom]
tname [Code]
The name of a type declared in the AST.
token [Cparser]
token [Parser]
type_declaration [Parsetree]
type_kind [Parsetree]

U
uident [Code]
Uppercase ident.

V
var [Var]
virtual_flag [Asttypes]