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