Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

get_infix_status : string -> int * string

SYNOPSIS

Get the precedence and associativity of an infix operator.

DESCRIPTION

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.

EXAMPLE

  # get_infix_status "/";;
  val it : int * string = (22, "left")
  # get_infix_status "UNION";;
  val it : int * string = (16, "right")