sig
  module Tuple2 :
    sig
      type ('a, 'b) t = 'a * 'b
      external first : 'a * '-> 'a = "%field0"
      external second : 'a * '-> 'b = "%field1"
      val mapn : ('-> 'b) -> ('-> 'd) -> 'a * '-> 'b * 'd
      val map1 : ('-> 'b) -> 'a * '-> 'b * 'c
      val map2 : ('-> 'b) -> 'c * '-> 'c * 'b
      val curry : ('a * '-> 'c) -> '-> '-> 'c
      val uncurry : ('-> '-> 'c) -> 'a * '-> 'c
      val printn :
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) -> 'BatIO.output -> 'b * '-> unit
      val print :
        ('BatIO.output -> '-> unit) -> 'BatIO.output -> 'b * '-> unit
      val compare :
        ?cmp1:('-> '-> int) ->
        ?cmp2:('-> '-> int) -> 'a * '-> 'a * '-> int
      type 'a enumerable = 'a * 'a
      val enum : 'a enumerable -> 'BatEnum.t
      val of_enum : 'BatEnum.t -> 'a enumerable
      type 'a mappable = 'a * 'a
      val map : ('-> 'b) -> 'a mappable -> 'b mappable
    end
  module Tuple3 :
    sig
      type ('a, 'b, 'c) t = 'a * 'b * 'c
      val first : 'a * 'b * '-> 'a
      val second : 'a * 'b * '-> 'b
      val third : 'a * 'b * '-> 'c
      val prj12 : 'a * 'b * '-> 'a * 'b
      val prj13 : 'a * 'b * '-> 'a * 'c
      val prj23 : 'a * 'b * '-> 'b * 'c
      val mapn :
        ('-> 'b) ->
        ('-> 'd) -> ('-> 'f) -> 'a * 'c * '-> 'b * 'd * 'f
      val map1 : ('-> 'b) -> 'a * 'c * '-> 'b * 'c * 'd
      val map2 : ('-> 'b) -> 'c * 'a * '-> 'c * 'b * 'd
      val map3 : ('-> 'b) -> 'c * 'd * '-> 'c * 'd * 'b
      val curry : ('a * 'b * '-> 'd) -> '-> '-> '-> 'd
      val uncurry : ('-> '-> '-> 'd) -> 'a * 'b * '-> 'd
      val printn :
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'c * '-> unit
      val print :
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'b * '-> unit
      val compare :
        ?cmp1:('-> '-> int) ->
        ?cmp2:('-> '-> int) ->
        ?cmp3:('-> '-> int) -> 'a * 'b * '-> 'a * 'b * '-> int
      type 'a enumerable = 'a * 'a * 'a
      val enum : 'a enumerable -> 'BatEnum.t
      val of_enum : 'BatEnum.t -> 'a enumerable
      type 'a mappable = 'a * 'a * 'a
      val map : ('-> 'b) -> 'a mappable -> 'b mappable
    end
  module Tuple4 :
    sig
      type ('a, 'b, 'c, 'd) t = 'a * 'b * 'c * 'd
      val first : 'a * 'b * 'c * '-> 'a
      val second : 'a * 'b * 'c * '-> 'b
      val third : 'a * 'b * 'c * '-> 'c
      val fourth : 'a * 'b * 'c * '-> 'd
      val prj12 : 'a * 'b * 'c * '-> 'a * 'b
      val prj13 : 'a * 'b * 'c * '-> 'a * 'c
      val prj14 : 'a * 'b * 'c * '-> 'a * 'd
      val prj23 : 'a * 'b * 'c * '-> 'b * 'c
      val prj24 : 'a * 'b * 'c * '-> 'b * 'd
      val prj34 : 'a * 'b * 'c * '-> 'c * 'd
      val prj123 : 'a * 'b * 'c * '-> 'a * 'b * 'c
      val prj124 : 'a * 'b * 'c * '-> 'a * 'b * 'd
      val prj234 : 'a * 'b * 'c * '-> 'b * 'c * 'd
      val mapn :
        ('-> 'b) ->
        ('-> 'd) ->
        ('-> 'f) -> ('-> 'h) -> 'a * 'c * 'e * '-> 'b * 'd * 'f * 'h
      val map1 : ('-> 'b) -> 'a * 'c * 'd * '-> 'b * 'c * 'd * 'e
      val map2 : ('-> 'b) -> 'c * 'a * 'd * '-> 'c * 'b * 'd * 'e
      val map3 : ('-> 'b) -> 'c * 'd * 'a * '-> 'c * 'd * 'b * 'e
      val map4 : ('-> 'b) -> 'c * 'd * 'e * '-> 'c * 'd * 'e * 'b
      val curry : ('a * 'b * 'c * '-> 'e) -> '-> '-> '-> '-> 'e
      val uncurry : ('-> '-> '-> '-> 'e) -> 'a * 'b * 'c * '-> 'e
      val printn :
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'c * 'd * '-> unit
      val print :
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'b * 'b * '-> unit
      val compare :
        ?cmp1:('-> '-> int) ->
        ?cmp2:('-> '-> int) ->
        ?cmp3:('-> '-> int) ->
        ?cmp4:('-> '-> int) ->
        'a * 'b * 'c * '-> 'a * 'b * 'c * '-> int
      type 'a enumerable = 'a * 'a * 'a * 'a
      val enum : 'a enumerable -> 'BatEnum.t
      val of_enum : 'BatEnum.t -> 'a enumerable
      type 'a mappable = 'a * 'a * 'a * 'a
      val map : ('-> 'b) -> 'a mappable -> 'b mappable
    end
  module Tuple5 :
    sig
      type ('a, 'b, 'c, 'd, 'e) t = 'a * 'b * 'c * 'd * 'e
      val first : 'a * 'b * 'c * 'd * '-> 'a
      val second : 'a * 'b * 'c * 'd * '-> 'b
      val third : 'a * 'b * 'c * 'd * '-> 'c
      val fourth : 'a * 'b * 'c * 'd * '-> 'd
      val fifth : 'a * 'b * 'c * 'd * '-> 'e
      val prj12 : 'a * 'b * 'c * 'd * '-> 'a * 'b
      val prj13 : 'a * 'b * 'c * 'd * '-> 'a * 'c
      val prj14 : 'a * 'b * 'c * 'd * '-> 'a * 'd
      val prj15 : 'a * 'b * 'c * 'd * '-> 'a * 'e
      val prj23 : 'a * 'b * 'c * 'd * '-> 'b * 'c
      val prj24 : 'a * 'b * 'c * 'd * '-> 'b * 'd
      val prj25 : 'a * 'b * 'c * 'd * '-> 'b * 'e
      val prj34 : 'a * 'b * 'c * 'd * '-> 'c * 'd
      val prj35 : 'a * 'b * 'c * 'd * '-> 'c * 'e
      val prj45 : 'a * 'b * 'c * 'd * '-> 'd * 'e
      val prj123 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'c
      val prj124 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'd
      val prj125 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'e
      val prj134 : 'a * 'b * 'c * 'd * '-> 'a * 'c * 'd
      val prj135 : 'a * 'b * 'c * 'd * '-> 'a * 'c * 'e
      val prj145 : 'a * 'b * 'c * 'd * '-> 'a * 'd * 'e
      val prj234 : 'a * 'b * 'c * 'd * '-> 'b * 'c * 'd
      val prj235 : 'a * 'b * 'c * 'd * '-> 'b * 'c * 'e
      val prj245 : 'a * 'b * 'c * 'd * '-> 'b * 'd * 'e
      val prj345 : 'a * 'b * 'c * 'd * '-> 'c * 'd * 'e
      val prj1234 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'c * 'd
      val prj1235 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'c * 'e
      val prj1245 : 'a * 'b * 'c * 'd * '-> 'a * 'b * 'd * 'e
      val prj1345 : 'a * 'b * 'c * 'd * '-> 'a * 'c * 'd * 'e
      val prj2345 : 'a * 'b * 'c * 'd * '-> 'b * 'c * 'd * 'e
      val mapn :
        ('-> 'b) ->
        ('-> 'd) ->
        ('-> 'f) ->
        ('-> 'h) ->
        ('-> 'j) -> 'a * 'c * 'e * 'g * '-> 'b * 'd * 'f * 'h * 'j
      val map1 :
        ('-> 'b) -> 'a * 'c * 'd * 'e * '-> 'b * 'c * 'd * 'e * 'f
      val map2 :
        ('-> 'b) -> 'c * 'a * 'd * 'e * '-> 'c * 'b * 'd * 'e * 'f
      val map3 :
        ('-> 'b) -> 'c * 'd * 'a * 'e * '-> 'c * 'd * 'b * 'e * 'f
      val map4 :
        ('-> 'b) -> 'c * 'd * 'e * 'a * '-> 'c * 'd * 'e * 'b * 'f
      val map5 :
        ('-> 'b) -> 'c * 'd * 'e * 'f * '-> 'c * 'd * 'e * 'f * 'b
      val curry :
        ('a * 'b * 'c * 'd * '-> 'f) -> '-> '-> '-> '-> '-> 'f
      val uncurry :
        ('-> '-> '-> '-> '-> 'f) -> 'a * 'b * 'c * 'd * '-> 'f
      val printn :
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'c * 'd * 'e * '-> unit
      val print :
        ('BatIO.output -> '-> unit) ->
        'BatIO.output -> 'b * 'b * 'b * 'b * '-> unit
      val compare :
        ?cmp1:('-> '-> int) ->
        ?cmp2:('-> '-> int) ->
        ?cmp3:('-> '-> int) ->
        ?cmp4:('-> '-> int) ->
        ?cmp5:('-> '-> int) ->
        'a * 'b * 'c * 'd * '-> 'a * 'b * 'c * 'd * '-> int
      type 'a enumerable = 'a * 'a * 'a * 'a * 'a
      val enum : 'a enumerable -> 'BatEnum.t
      val of_enum : 'BatEnum.t -> 'a enumerable
      type 'a mappable = 'a * 'a * 'a * 'a * 'a
      val map : ('-> 'b) -> 'a mappable -> 'b mappable
    end
end