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
# is_binop `f:num->num->num` `(f:num->num->num) x y`;;
val it : bool = true
- SEE ALSO
-
dest_binary, dest_binop, is_binary, mk_binary, mk_binop.