Module Core_kernel.Tuple.T2

Signature for a 2-tuple module

type ('a, 'b) t = 'a * 'b
include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'a) ‑> (Sexplib.Sexp.t ‑> 'b) ‑> Sexplib.Sexp.t ‑> ('a'bt
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> ('b ‑> Sexplib.Sexp.t) ‑> ('a'bt ‑> Sexplib.Sexp.t
include Comparator.Derived2 with type (a, b) t := (a, b) t
type ('a, 'b) t
type ('cmp_a, 'cmp_b) comparator_witness
val comparator : ('a'cmp_aComparator.comparator ‑> ('b'cmp_bComparator.comparator ‑> (('a'bt, ('cmp_a'cmp_bcomparator_witnessComparator.comparator
val create : 'a ‑> 'b ‑> ('a'bt
val curry : (('a'bt ‑> 'c) ‑> 'a ‑> 'b ‑> 'c
val uncurry : ('a ‑> 'b ‑> 'c) ‑> ('a'bt ‑> 'c
val compare : cmp1:('a ‑> 'a ‑> Core_kernel__.Import.int) ‑> cmp2:('b ‑> 'b ‑> Core_kernel__.Import.int) ‑> ('a'bt ‑> ('a'bt ‑> Core_kernel__.Import.int
val equal : eq1:('a ‑> 'a ‑> Core_kernel__.Import.bool) ‑> eq2:('b ‑> 'b ‑> Core_kernel__.Import.bool) ‑> ('a'bt ‑> ('a'bt ‑> Core_kernel__.Import.bool
external get1 : ('a_t ‑> 'a = "%field0"
external get2 : (_'at ‑> 'a = "%field1"
val map1 : f:('a ‑> 'c) ‑> ('a'bt ‑> ('c'bt
val map2 : f:('b ‑> 'c) ‑> ('a'bt ‑> ('a'ct
val map_fst : ('a'bt ‑> f:('a ‑> 'c) ‑> ('c'bt
val map_snd : ('a'bt ‑> f:('b ‑> 'c) ‑> ('a'ct
val swap : ('a'bt ‑> ('b'at