Module type Core_kernel__Type_equal.Injective

type 'a t
val strip : ('a t'b t) equal -> ('a'b) equal