EqualityComparable<T> Concept

A type whose objects can be compared with operators == and !=.

Examples

int , String , List .

Definition

Line 62 of System.Base/Concept.cm

Type Parameters

Constraints

bool operator==(T, T)

Axioms

axiom equal(T a, T b)
{
    a == b<=>eq(a, b)
}

axiom reflexive(T a)
{
    a == a
}

axiom symmetric(T a, T b)
{
    a == b=>b == a
}

axiom transitive(T a, T b, T c)
{
    a == b && b == c=>a == c
}

axiom notEqualTo(T a, T b)
{
    a != b<=>!(a == b)
}