A  
arity [Pa_infix.Level] 
Arity of a level.

assoc [Pa_infix.Level] 
Possible associativity values for binary infix operators.

B  
binary [Pa_infix.Level]  
K  
kind [Pa_infix] 
Possible kinds of operators.

M  
module_longident [Delimited_overloading] 
Type representing a module longident, i.e.

O  
operator [Pa_infix] 
Operators represented as their concrete string syntax.

P  
param [Macro] 
Types of parameters accepted by macros.

precedence [Pa_infix.Level] 
Relative precedence of new levels.

R  
reloc_expr [Delimited_overloading] 
A relocatable expression, i.e.

T  
t [Pa_infix.Level] 
A precedence level.

t [Delimited_overloading] 
Type representing an immutable "set of overloadings".

t [Macro.Module_longident]  
transf [Delimited_overloading] 
Represents a "stack" of expression transformation functions.

transf_fun [Delimited_overloading]  
U  
unary [Pa_infix.Level] 