module Composition_preserves_injectivity:
Composition_preserves_injectivity
is a functor that proves that composition of
injective types is injective.Parameters: |
|
type 'a
t
val strip : ('a t, 'b t) Type_equal.equal ->
('a, 'b) Type_equal.equal