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