Module Type_equal.Composition_preserves_injectivity

Parameters

• M1 : Base__Type_equal.Injective
• M2 : Base__Type_equal.Injective

Signature

type 'a t = 'a M1.t M2.t

val strip : ('a t, 'b t) Base__Type_equal.equal -> ('a, 'b) Base__Type_equal.equal