A type whose instances' values can be compared for equivalence.
trait Equatable
== is an equivalence relation; i.e. a == a, a == b ⟺ b == a, and a == b ∧ b == c ⟹ a == c.
fun ==(_ other: Self) -> Bool
Returns true iff other has an equivalent value.