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
is_binop : term -> term -> bool
SYNOPSIS
Tests if a term is an application of the given binary operator.
DESCRIPTION
The call is_binop op t returns true if the term t is of the form
(op l) r for any two terms l and r, and false otherwise.
FAILURE CONDITIONS
Never fails.
EXAMPLE
This is a fairly typical example:
# is_binop `(/\)` `p /\ q`;;
val it : bool = true
but note that the operator needn't be a constant:
# is_binop `f:num->num->num` `(f:num->num->num) x y`;;
val it : bool = true