module Lift: functor (X : T.T1) -> sig .. end
functor (
X
:
T.T1
) ->
sig
end
val lift : ('a, 'b) Type_equal.t -> ('a X.t, 'b X.t) Type_equal.t
('a, 'b) Type_equal.t -> ('a X.t, 'b X.t) Type_equal.t