Module Tuple.T2

module T2: sig .. end

type ('a, 'b) t = 'a * 'b 

include Sexpable.S2

val create : 'a -> 'b -> ('a, 'b) t

val curry : (('a, 'b) t -> 'c) -> 'a -> 'b -> 'c

val uncurry : ('a -> 'b -> 'c) -> ('a, 'b) t -> 'c

val compare : cmp1:('a -> 'a -> int) ->
       cmp2:('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int

val get1 : ('a, 'b) t -> 'a

val get2 : ('b, 'a) t -> 'a

val map1 : f:('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t

val map2 : f:('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t

val swap : ('a, 'b) t -> ('b, 'a) t