Module Tuple.T2

module T2: sig .. end

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

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 : ('a -> 'a -> int) ->
       ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int

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

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

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

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