sig
  type ('a, 'b, 'c) t = 'a * 'b * 'c
  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 :
    ('-> '-> int) ->
    ('-> '-> int) ->
    ('-> '-> 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