get_infix_status : string -> int * string
Get the precedence and associativity of an infix operator.
Certain identifiers are treated as infix operators with a given precedence and
associativity (left or right). The call get_infix_status "op" looks up op
in this list and returns a pair consisting of its precedence and its
associativity; the latter is one of the strings "left" or "right".
- FAILURE CONDITIONS
Fails if the given string does not have infix status.
# get_infix_status "/";;
val it : int * string = (22, "left")
# get_infix_status "UNION";;
val it : int * string = (16, "right")
- SEE ALSO
infixes, parse_as_infix, unparse_as_infix.