Range.Boundinclude Sexplib0.Sexpable.S1 with type 'a t := 'a tval t_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a tval sexp_of_t : 'a. ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.tinclude Core.Bin_prot.Binable.S1 with type 'a t := 'a tval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.tinclude sig ... endval bin_size_t : 'a. ('a, 'a t) Bin_prot.Size.sizer1val bin_write_t : 'a. ('a, 'a t) Bin_prot.Write.writer1val bin_read_t : 'a. ('a, 'a t) Bin_prot.Read.reader1val __bin_read_t__ : 'a. ('a, 'a t) Bin_prot.Read.vtag_reader1val bin_writer_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.writerval bin_reader_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.readerval bin_t : 'a. ('a, 'a t) Bin_prot.Type_class.S1.tinclude Ppx_compare_lib.Equal.S1 with type 'a t := 'a tinclude Ppx_quickcheck_runtime.Quickcheckable.S1 with type 'a t := 'a tval quickcheck_generator :
'a Base_quickcheck.Generator.t ->
'a t Base_quickcheck.Generator.tval quickcheck_observer :
'a Base_quickcheck.Observer.t ->
'a t Base_quickcheck.Observer.tval quickcheck_shrinker :
'a Base_quickcheck.Shrinker.t ->
'a t Base_quickcheck.Shrinker.t