module Lift: functor (X : sig type 'a t end) -> sig .. end
functor (
X
:
sig
type 'a t
'a
end) -> sig .. end
end
) ->
sig type 'a t 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