T2 (docs.findlib-1.core.Core.Tuple.T2)

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

include Sexplib0.Sexpable.S2 with type ('a, 'b) t := ('a, 'b) t

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) t

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0.Sexp.t

include Typerep_lib.Typerepable.S2 with type ('a, 'b) t := ('a, 'b) t

val typerep_of_t : 
  'a Typerep_lib.Std_internal.Typerep.t ->
  'b Typerep_lib.Std_internal.Typerep.t ->
  ('a, 'b) t Typerep_lib.Std_internal.Typerep.t

val typename_of_t : 
  'a Typerep_lib.Typename.t ->
  'b Typerep_lib.Typename.t ->
  ('a, 'b) t Typerep_lib.Typename.t

include Comparator.Derived2 with type ('a, 'b) t := ('a, 'b) t

type (!'cmp_a, !'cmp_b) comparator_witness

val comparator : 
  ('a, 'cmp_a) Base.Comparator.comparator ->
  ('b, 'cmp_b) Base.Comparator.comparator ->
  (('a, 'b) t, ('cmp_a, 'cmp_b) comparator_witness) Base.Comparator.comparator

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 -> Base.Int.t) ->
  cmp2:('b -> 'b -> Base.Int.t) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  Base.Int.t

val equal : 
  eq1:('a -> 'a -> Base.Bool.t) ->
  eq2:('b -> 'b -> Base.Bool.t) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  Base.Bool.t

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

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

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

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

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

val map_both : ('a, 'b) t -> f1:('a -> 'c) -> f2:('b -> 'd) -> ('c, 'd) t

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

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