class Eq[a: Type]
def eq(x: a, y: a): Bool with Eq[a]
Returns true if and only if x is equal to y.
true
x
y
def neq(x: a, y: a): Bool with Eq[a]
Returns true if and only if x is not equal to y.