Module Tuple.T2

Signature for a 2-tuple module

type ('a, 'b) t = 'a * 'b
include Ppx_sexp_conv_lib.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) Comparator.comparator -> ('b, 'cmp_b) Comparator.comparator -> (('a, 'b) t, ('cmp_a, 'cmp_b) comparator_witness) 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 map1 : f:('a -> 'c) -> ('a, 'b) t -> ('c, 'b) t
val map2 : f:('b -> 'c) -> ('a, 'b) t -> ('a, 'c) t
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 swap : ('a, 'b) t -> ('b, 'a) t