`sig
type ('a, 'b) t = 'a * 'b
val typerep_of_t :
'a Typerep_lib.Std.Typerep.t ->
'b Typerep_lib.Std.Typerep.t ->
('a, 'b) Tuple.T2.t Typerep_lib.Std.Typerep.t
val typename_of_t :
'a Typerep_lib.Std.Typename.t ->
'b Typerep_lib.Std.Typename.t ->
('a, 'b) Tuple.T2.t Typerep_lib.Std.Typename.t
val create : 'a -> 'b -> ('a, 'b) Tuple.T2.t
val curry : (('a, 'b) Tuple.T2.t -> 'c) -> 'a -> 'b -> 'c
val uncurry : ('a -> 'b -> 'c) -> ('a, 'b) Tuple.T2.t -> 'c
val compare :
cmp1:('a -> 'a -> int) ->
cmp2:('b -> 'b -> int) ->
('a, 'b) Tuple.T2.t -> ('a, 'b) Tuple.T2.t -> int
val equal :
eq1:('a -> 'a -> bool) ->
eq2:('b -> 'b -> bool) ->
('a, 'b) Tuple.T2.t -> ('a, 'b) Tuple.T2.t -> bool
external get1 : ('a, 'b) Tuple.T2.t -> 'a = "%field0"
external get2 : ('b, 'a) Tuple.T2.t -> 'a = "%field1"
val map1 : f:('a -> 'c) -> ('a, 'b) Tuple.T2.t -> ('c, 'b) Tuple.T2.t
val map2 : f:('b -> 'c) -> ('a, 'b) Tuple.T2.t -> ('a, 'c) Tuple.T2.t
val swap : ('a, 'b) Tuple.T2.t -> ('b, 'a) Tuple.T2.t
val t_of_sexp :
(Sexplib.Sexp.t -> 'a) ->
(Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) Tuple.T2.t
val sexp_of_t :
('a -> Sexplib.Sexp.t) ->
('b -> Sexplib.Sexp.t) -> ('a, 'b) Tuple.T2.t -> Sexplib.Sexp.t
end`