com.io7m.jequality.annotations

Annotation Type EqualityReference

@Documented
 @Target(value=TYPE)
 @Retention(value=RUNTIME)
public @interface EqualityReference

An annotation that, when applied to a given class, implies that the class uses reference equality. That is, for a given type C, ∀x y. x <: C ∧ y <: C → (x == y ↔ x.equals(y)).