Module Core_kernel__Type_equal.Lift
Parameters
Signature
val lift : ('a, 'b) Base__Type_equal.t -> ('a X.t, 'b X.t) Base__Type_equal.t
Core_kernel__Type_equal.Lift
val lift : ('a, 'b) Base__Type_equal.t -> ('a X.t, 'b X.t) Base__Type_equal.t