Module type Core.Stable4

type ('a1, 'a2, 'a3, 'a4) t
include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'a1) ‑> (Sexplib.Sexp.t ‑> 'a2) ‑> (Sexplib.Sexp.t ‑> 'a3) ‑> (Sexplib.Sexp.t ‑> 'a4) ‑> Sexplib.Sexp.t ‑> ('a1'a2'a3'a4t
val sexp_of_t : ('a1 ‑> Sexplib.Sexp.t) ‑> ('a2 ‑> Sexplib.Sexp.t) ‑> ('a3 ‑> Sexplib.Sexp.t) ‑> ('a4 ‑> Sexplib.Sexp.t) ‑> ('a1'a2'a3'a4t ‑> Sexplib.Sexp.t
val compare : ('a1 ‑> 'a1 ‑> Core_kernel__.Import.int) ‑> ('a2 ‑> 'a2 ‑> Core_kernel__.Import.int) ‑> ('a3 ‑> 'a3 ‑> Core_kernel__.Import.int) ‑> ('a4 ‑> 'a4 ‑> Core_kernel__.Import.int) ‑> ('a1'a2'a3'a4t ‑> ('a1'a2'a3'a4t ‑> Core_kernel__.Import.int
val bin_t : 'a1 Bin_prot.Type_class.t ‑> 'a2 Bin_prot.Type_class.t ‑> 'a3 Bin_prot.Type_class.t ‑> 'a4 Bin_prot.Type_class.t ‑> ('a1'a2'a3'a4t Bin_prot.Type_class.t
val bin_read_t : 'a1 Bin_prot.Read.reader ‑> 'a2 Bin_prot.Read.reader ‑> 'a3 Bin_prot.Read.reader ‑> 'a4 Bin_prot.Read.reader ‑> ('a1'a2'a3'a4t Bin_prot.Read.reader
val __bin_read_t__ : 'a1 Bin_prot.Read.reader ‑> 'a2 Bin_prot.Read.reader ‑> 'a3 Bin_prot.Read.reader ‑> 'a4 Bin_prot.Read.reader ‑> (Core_kernel__.Import.int ‑> ('a1'a2'a3'a4t) Bin_prot.Read.reader
val bin_size_t : 'a1 Bin_prot.Size.sizer ‑> 'a2 Bin_prot.Size.sizer ‑> 'a3 Bin_prot.Size.sizer ‑> 'a4 Bin_prot.Size.sizer ‑> ('a1'a2'a3'a4t Bin_prot.Size.sizer
val bin_write_t : 'a1 Bin_prot.Write.writer ‑> 'a2 Bin_prot.Write.writer ‑> 'a3 Bin_prot.Write.writer ‑> 'a4 Bin_prot.Write.writer ‑> ('a1'a2'a3'a4t Bin_prot.Write.writer
val map : ('a1'a2'a3'a4t ‑> f1:('a1 ‑> 'b1) ‑> f2:('a2 ‑> 'b2) ‑> f3:('a3 ‑> 'b3) ‑> f4:('a4 ‑> 'b4) ‑> ('b1'b2'b3'b4t