Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Pratter
SourceThis modules defines a functor whose image is a parser for terms with applications, binary and unary operators. These terms are specified in the argument of the functor.
The algorithm implemented is an extension of the Pratt parser. The Shunting Yard algorithm could also be used.
Associativity of an operator.
Priority of operators, also called binding power. If *
has a higher priority than +
, than x + y * z
is parsed x + (y * z)
.
type operator =
| Bin of associativity
Binary operator with an associativity.
*)| Una
Unary operator.
*)A type to designate operators and their properties.