L | |
| Level [Pa_infix] |
Level of precedence of operators (also specifies their
associativity).
|
P | |
| Pa_do_nums |
Overloadings for the modules
Num, Big_int and Ratio.
|
| Pa_infix |
Syntax extension module to change the priority or associativity of
unary and binary operators.
|