Compares two setoids for equality.
forall S, a:
(S a, S a) => Boolean
where S is Setoid
Compares two setoids for equality.
Compares two setoids for equality.
Compares two setoids for equality.
(setoidLeft, setoidRight) =>
isNew(setoidLeft) ? setoidLeft[flEquals](setoidRight)
: isOld(setoidLeft) ? warn(setoidLeft.equals(setoidRight))
: /*otherwise*/ unsupported(setoidLeft)