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
]