Index of values


A
addition [Pa_infix.Level]
Level of "+", "-",...
arity [Pa_infix.Level]
arity l returns the arity of that level.
assignment [Pa_infix.Level]
Level of ":="
assoc [Pa_infix.Level]
assoc l returns the associativity of that level.
assoc [Pa_infix]
assoc op returns the associativity of the operator op.

B
binary [Pa_infix.Level]
binary prec creates a new level for infix operators at the level specified by prec.

C
compare [Pa_infix.Level]
Total ordering on Level.t
comparison [Pa_infix.Level]
Level of "<", "<=", "=",...
concatenation [Pa_infix.Level]
Level of "^"
conjunction [Pa_infix.Level]
Level of "&&"

D
default_unary [Pa_infix.Level]
Level of "!"
disjunction [Pa_infix.Level]
Level of "||"

E
exponentiation [Pa_infix.Level]
Level of "**", "lsl",...

H
handle_error [Pa_infix]
handle_error f a applies f to x and returns the result.

I
infix [Pa_infix]
infix op l defines the operator op as a binary infix operator at level l.
is_operator [Pa_infix]
is_operator op tells whether the string op can be used as an operator.
is_set [Pa_infix]
is_set op tells whether the operator op has been set using one of the functions of this API.

K
kind [Pa_infix]
kind op returns the (default or assigned) kind of the operator op.

L
level [Pa_infix]
pos op returns the (default or assigned) level of the operator op.

M
multiplication [Pa_infix.Level]
Level of "*", "/", "land",...

N
name [Pa_infix.Level]
name l returns the possible name given to the level l.

O
overloading_big_int [Pa_do_nums]
overloading_num [Pa_do_nums]
overloading_ratio [Pa_do_nums]

P
postfix [Pa_infix]
postfix op l define the operator op as a postfix operator at level l.
prefix [Pa_infix]
prefix op l define the operator op as a prefix operator at level l.

U
unary [Pa_infix.Level]
unnary prec creates a new level for prefix or postfix operators at the level specified by prec.