Module TwoOperands

A module for dealing with pairs of exclusive operands.

For instance, to find cases where one operand is an integer and the other is a constant, you will want to to perform checks on each operand separately and consistently without worrying about order. This module makes this common pattern easy to implement.

See the documentation of TwoOperands for more details.