Parameter Core_kernel__.Type_equal.Composition_preserves_injectivity.2-M2

type 'a t
val strip : ('a t'b tBase__Type_equal.equal ‑> ('a'bBase__Type_equal.equal