Module type Core_kernel.Type_equal.Injective

type 'a t
val strip : ('a t'b tequal ‑> ('a'bequal