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 .
|