Member predicate BinaryInstruction :: hasOperands
Holds if this instruction’s operands are op1
and op2
, in either order.
predicate
hasOperands
(
Operand
op1
,
Operand
op2
)