# Module Tuple.T3

    module T3: sig .. end

Signature for a 3-tuple module

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

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

    val typename_of_t : 'a Typerep_lib.Std.Typename.t ->
           'b Typerep_lib.Std.Typename.t ->
           'c Typerep_lib.Std.Typename.t ->
           ('a, 'b, 'c) t Typerep_lib.Std.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 -> bool) ->
           eq2:('b -> 'b -> bool) ->
           eq3:('c -> 'c -> bool) ->
           ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> bool

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

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

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

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

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

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

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

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

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