sig
module T2 :
sig
type ('a, 'b) t = 'a * 'b
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 :
('a -> 'a -> int) ->
('b -> 'b -> int) ->
('a, 'b) Tuple.T2.t -> ('a, 'b) Tuple.T2.t -> int
external get1 : ('a, 'b) Tuple.T2.t -> 'a = "%field0"
external get2 : ('a, 'b) Tuple.T2.t -> 'b = "%field1"
val map1 : f:('a -> 'b) -> ('a, 'c) Tuple.T2.t -> ('b, 'c) Tuple.T2.t
val map2 : f:('a -> 'b) -> ('c, 'a) Tuple.T2.t -> ('c, 'b) Tuple.T2.t
end
module T3 :
sig
type ('a, 'b, 'c) t = 'a * 'b * 'c
val create : 'a -> 'b -> 'c -> ('a, 'b, 'c) Tuple.T3.t
val curry : (('a, 'b, 'c) Tuple.T3.t -> 'd) -> 'a -> 'b -> 'c -> 'd
val uncurry : ('a -> 'b -> 'c -> 'd) -> ('a, 'b, 'c) Tuple.T3.t -> 'd
val compare :
('a -> 'a -> int) ->
('b -> 'b -> int) ->
('c -> 'c -> int) ->
('a, 'b, 'c) Tuple.T3.t -> ('a, 'b, 'c) Tuple.T3.t -> int
external get1 : ('a, 'b, 'c) Tuple.T3.t -> 'a = "%field0"
external get2 : ('a, 'b, 'c) Tuple.T3.t -> 'b = "%field1"
val get3 : ('a, 'b, 'c) Tuple.T3.t -> 'c
val map1 :
f:('a -> 'b) -> ('a, 'c, 'd) Tuple.T3.t -> ('b, 'c, 'd) Tuple.T3.t
val map2 :
f:('a -> 'b) -> ('c, 'a, 'd) Tuple.T3.t -> ('c, 'b, 'd) Tuple.T3.t
val map3 :
f:('a -> 'b) -> ('c, 'd, 'a) Tuple.T3.t -> ('c, 'd, 'b) Tuple.T3.t
end
end