This module defines the Equal predicate class.
The Equal predicate. This will evaluate to true if the two operands are equal.