Module type Type_equal.Lift

type 'a t
val lift : ('a, 'b) equal -> ('a t, 'b t) equal