Functor Type_equal.Lift

module Lift: 
functor (X : sig
type 'a t 
end) -> sig .. end
needed in some cases even though t is exported and is a gadt
Parameters:
X : sig type 'a t end

val lift : ('a, 'b) Type_equal.t -> ('a X.t, 'b X.t) Type_equal.t