sig
  module T2 :
    sig
      type ('a, 'b) t = 'a * 'b
      type ('a, 'b) sexpable = ('a, 'b) t
      val sexp_of_t :
        ('-> Sexplib.Sexp.t) ->
        ('-> Sexplib.Sexp.t) -> ('a, 'b) sexpable -> Sexplib.Sexp.t
      val t_of_sexp :
        (Sexplib.Sexp.t -> 'a) ->
        (Sexplib.Sexp.t -> 'b) -> Sexplib.Sexp.t -> ('a, 'b) sexpable
      val create : '-> '-> ('a, 'b) Tuple.T2.t
      val curry : (('a, 'b) Tuple.T2.t -> 'c) -> '-> '-> 'c
      val uncurry : ('-> '-> 'c) -> ('a, 'b) Tuple.T2.t -> 'c
      val compare :
        cmp1:('-> '-> int) ->
        cmp2:('-> '-> int) ->
        ('a, 'b) Tuple.T2.t -> ('a, 'b) Tuple.T2.t -> int
      external get1 : ('a, 'b) Tuple.T2.t -> 'a = "%field0"
      external get2 : ('a, 'b) Tuple.T2.t -> 'b = "%field1"
      val map1 : f:('-> 'b) -> ('a, 'c) Tuple.T2.t -> ('b, 'c) Tuple.T2.t
      val map2 : f:('-> 'b) -> ('c, 'a) Tuple.T2.t -> ('c, 'b) Tuple.T2.t
      val swap : ('a, 'b) Tuple.T2.t -> ('b, 'a) Tuple.T2.t
    end
  module T3 :
    sig
      type ('a, 'b, 'c) t = 'a * 'b * 'c
      type ('a, 'b, 'c) sexpable = ('a, 'b, 'c) t
      val sexp_of_t :
        ('-> Sexplib.Sexp.t) ->
        ('-> Sexplib.Sexp.t) ->
        ('-> Sexplib.Sexp.t) -> ('a, 'b, 'c) sexpable -> Sexplib.Sexp.t
      val t_of_sexp :
        (Sexplib.Sexp.t -> 'a) ->
        (Sexplib.Sexp.t -> 'b) ->
        (Sexplib.Sexp.t -> 'c) -> Sexplib.Sexp.t -> ('a, 'b, 'c) sexpable
      val create : '-> '-> '-> ('a, 'b, 'c) Tuple.T3.t
      val curry : (('a, 'b, 'c) Tuple.T3.t -> 'd) -> '-> '-> '-> 'd
      val uncurry : ('-> '-> '-> 'd) -> ('a, 'b, 'c) Tuple.T3.t -> 'd
      val compare :
        cmp1:('-> '-> int) ->
        cmp2:('-> '-> int) ->
        cmp3:('-> '-> int) ->
        ('a, 'b, 'c) Tuple.T3.t -> ('a, 'b, 'c) Tuple.T3.t -> int
      external get1 : ('a, 'b, 'c) Tuple.T3.t -> 'a = "%field0"
      external get2 : ('a, 'b, 'c) Tuple.T3.t -> 'b = "%field1"
      val get3 : ('a, 'b, 'c) Tuple.T3.t -> 'c
      val map1 :
        f:('-> 'b) -> ('a, 'c, 'd) Tuple.T3.t -> ('b, 'c, 'd) Tuple.T3.t
      val map2 :
        f:('-> 'b) -> ('c, 'a, 'd) Tuple.T3.t -> ('c, 'b, 'd) Tuple.T3.t
      val map3 :
        f:('-> 'b) -> ('c, 'd, 'a) Tuple.T3.t -> ('c, 'd, 'b) Tuple.T3.t
    end
end