Module Typerep_bin_io.Binrep

module Sizer : Typerep_extended.Std.Type_generic.S with type 'a t = 'a Bin_prot.Size.sizer

module Writer : Typerep_extended.Std.Type_generic.S with type 'a t = 'a Bin_prot.Type_class.writer

module Reader : Typerep_extended.Std.Type_generic.S with type 'a t = 'a Bin_prot.Type_class.reader

module Shaper : Typerep_extended.Std.Type_generic.S with type 'a t = unit ‑> Bin_prot.Shape.t

type 'a size_reader = Bin_prot.Common.buf ‑> pos_ref:Bin_prot.Common.pos_ref ‑> unit

module Size_reader : sig ... end

val bin_size_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of 'a Bin_prot.Size.sizer ]

val bin_writer_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of 'a Bin_prot.Type_class.writer ]

val bin_reader_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of 'a Bin_prot.Type_class.reader ]

val bin_size_reader_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of 'a size_reader ]

val bin_shape_t : 'a Typerep_extended.Std.Typerep.t ‑> [ `generic of unit ‑> Bin_prot.Shape.t ]

module Make_binable : functor (X : Typerep_extended.Std.Typerepable.S0) -> Core_kernel.Binable.S with type t := X.t

val make_binable : 'a Typerep_extended.Std.Typerep.t ‑> (module Core_kernel.Binable.S with type t = 'a)

module Tagged : sig ... end