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