let equivalence: t -> Equivalence.t = fun t -> t.equivalence