Module Tuple_lib.Quadruple
type 'a t = 'a * 'a * 'a * 'aval equal :
( 'a -> 'a -> Ppx_deriving_runtime.bool ) ->
'a t ->
'a t ->
Ppx_deriving_runtime.boolinclude Core_kernel.Bin_prot.Binable.S1 with type 'a t := 'a t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ( 'a, 'a t ) Bin_prot.Size.sizer1val bin_write_t : ( 'a, 'a t ) Bin_prot.Write.writer1val bin_read_t : ( 'a, 'a t ) Bin_prot.Read.reader1val __bin_read_t__ : ( 'a, int -> 'a t ) Bin_prot.Read.reader1val bin_writer_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.writerval bin_reader_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.readerval bin_t : ( 'a, 'a t ) Bin_prot.Type_class.S1.tinclude Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a tval sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.tval compare : ( 'a -> 'a -> int ) -> 'a t -> 'a t -> intval iter : 'a t -> f:( 'a -> unit ) -> unitval map : 'a t -> f:( 'a -> 'b ) -> 'b tval map2 : 'a t -> 'b t -> f:( 'a -> 'b -> 'c ) -> 'c t