Lift3 (docs.findlib-1.base.Base.Type

Parameters

module T : T.T3

val lift : 
  ('a1, 'b1) equal ->
  ('a2, 'b2) equal ->
  ('a3, 'b3) equal ->
  (('a1, 'a2, 'a3) T.t, ('b1, 'b2, 'b3) T.t) equal