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

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

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

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

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

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

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

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

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

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

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

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

val compare : 
  cmp1:('a -> 'a -> Base.Int.t) ->
  cmp2:('b -> 'b -> Base.Int.t) ->
  cmp3:('c -> 'c -> Base.Int.t) ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) t ->
  Base.Int.t

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

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

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

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

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

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

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

val map_all : 
  ('a, 'b, 'c) t ->
  f1:('a -> 'd) ->
  f2:('b -> 'e) ->
  f3:('c -> 'f) ->
  ('d, 'e, 'f) t

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