Module type Std_kernel.Stable3
type ('a1, 'a2, 'a3) t
include Bin_prot.Binable.S3 with type ('a1, 'a2, 'a3) t := ('a1, 'a2, 'a3) t
type ('a, 'b, 'c) t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Size.sizer3
val bin_write_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Write.writer3
val bin_read_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Read.reader3
val __bin_read_t__ : ('a, 'b, 'c, int -> ('a, 'b, 'c) t) Bin_prot.Read.reader3
val bin_writer_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.writer
val bin_reader_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.reader
val bin_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.t
val compare : ('a1 -> 'a1 -> Core_kernel__.Import.int) -> ('a2 -> 'a2 -> Core_kernel__.Import.int) -> ('a3 -> 'a3 -> Core_kernel__.Import.int) -> ('a1, 'a2, 'a3) t -> ('a1, 'a2, 'a3) t -> Core_kernel__.Import.int
include Ppx_sexp_conv_lib.Sexpable.S3 with type ('a1, 'a2, 'a3) t := ('a1, 'a2, 'a3) t
type ('a, 'b, 'c) t
val t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> Sexplib0.Sexp.t -> ('a, 'b, 'c) t
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('a, 'b, 'c) t -> Sexplib0.Sexp.t
val map : ('a1, 'a2, 'a3) t -> f1:('a1 -> 'b1) -> f2:('a2 -> 'b2) -> f3:('a3 -> 'b3) -> ('b1, 'b2, 'b3) t