Module Typerep_lib__Type_equal.Lift

needed in some cases even though t is exported and is a gadt

Parameters

X : sig ... end

Signature

val lift : ('a'bt ‑> ('a X.t'b X.tt