sig
  type ('a, 'b, 'c) t = 'a * 'b * 'c
  type ('a, 'b, 'c) sexpable = ('a, 'b, 'c) t
  val sexp_of_t :
    ('a -> Sexplib.Sexp.t) ->
    ('b -> Sexplib.Sexp.t) ->
    ('c -> 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 -> ('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 compare :
    cmp1:('a -> 'a -> int) ->
    cmp2:('b -> 'b -> int) ->
    cmp3:('c -> 'c -> int) -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> int
  external get1 : ('a, 'b, 'c) t -> 'a = "%field0"
  external get2 : ('a, 'b, 'c) t -> 'b = "%field1"
  val get3 : ('a, 'b, 'c) t -> 'c
  val map1 : f:('a -> 'b) -> ('a, 'c, 'd) t -> ('b, 'c, 'd) t
  val map2 : f:('a -> 'b) -> ('c, 'a, 'd) t -> ('c, 'b, 'd) t
  val map3 : f:('a -> 'b) -> ('c, 'd, 'a) t -> ('c, 'd, 'b) t
end