sig
  val bin_dump : ?header:bool -> 'a Type_class.writer -> 'a -> Common.buf
  val bin_read_stream :
    ?max_size:int ->
    read:(Common.buf -> pos:int -> len:int -> unit) ->
    'a Type_class.reader -> 'a
  module type Make_binable_spec =
    sig
      module Binable : Binable.S
      type t
      val to_binable : Utils.Make_binable_spec.t -> Binable.t
      val of_binable : Binable.t -> Utils.Make_binable_spec.t
    end
  module Make_binable :
    functor (Bin_spec : Make_binable_spec) ->
      sig
        val bin_size_t : Bin_spec.t Size.sizer
        val bin_write_t : Bin_spec.t Map_to_safe.writer
        val bin_write_t_ : Bin_spec.t Unsafe_write_c.writer
        val bin_read_t : Bin_spec.t Read_ml.reader
        val bin_read_t_ : Bin_spec.t Unsafe_read_c.reader
        val bin_read_t__ : (int -> Bin_spec.t) Unsafe_read_c.reader
        val bin_writer_t : Bin_spec.t Type_class.writer
        val bin_reader_t : Bin_spec.t Type_class.reader
        val bin_t : Bin_spec.t Type_class.t
      end
  module type Make_binable1_spec =
    sig
      module Binable : Binable.S1
      type 'a t
      val to_binable : 'a Utils.Make_binable1_spec.t -> 'a Binable.t
      val of_binable : 'a Binable.t -> 'a Utils.Make_binable1_spec.t
    end
  module Make_binable1 :
    functor (Bin_spec : Make_binable1_spec) ->
      sig
        val bin_size_t : ('a, 'a Bin_spec.t) Size.sizer1
        val bin_write_t : ('a, 'a Bin_spec.t) Map_to_safe.writer1
        val bin_write_t_ : ('a, 'a Bin_spec.t) Unsafe_write_c.writer1
        val bin_read_t : ('a, 'a Bin_spec.t) Map_to_safe.reader1
        val bin_read_t_ : ('a, 'a Bin_spec.t) Unsafe_read_c.reader1
        val bin_read_t__ : ('a, int -> 'a Bin_spec.t) Unsafe_read_c.reader1
        val bin_writer_t : ('a, 'a Bin_spec.t) Type_class.S1.writer
        val bin_reader_t : ('a, 'a Bin_spec.t) Type_class.S1.reader
        val bin_t : ('a, 'a Bin_spec.t) Type_class.S1.t
      end
  module type Make_binable2_spec =
    sig
      module Binable : Binable.S2
      type ('a, 'b) t
      val to_binable :
        ('a, 'b) Utils.Make_binable2_spec.t -> ('a, 'b) Binable.t
      val of_binable :
        ('a, 'b) Binable.t -> ('a, 'b) Utils.Make_binable2_spec.t
    end
  module Make_binable2 :
    functor (Bin_spec : Make_binable2_spec) ->
      sig
        val bin_size_t : ('a, 'b, ('a, 'b) Bin_spec.t) Size.sizer2
        val bin_write_t : ('a, 'b, ('a, 'b) Bin_spec.t) Map_to_safe.writer2
        val bin_write_t_ :
          ('a, 'b, ('a, 'b) Bin_spec.t) Unsafe_write_c.writer2
        val bin_read_t : ('a, 'b, ('a, 'b) Bin_spec.t) Map_to_safe.reader2
        val bin_read_t_ : ('a, 'b, ('a, 'b) Bin_spec.t) Unsafe_read_c.reader2
        val bin_read_t__ :
          ('a, 'b, int -> ('a, 'b) Bin_spec.t) Unsafe_read_c.reader2
        val bin_writer_t : ('a, 'b, ('a, 'b) Bin_spec.t) Type_class.S2.writer
        val bin_reader_t : ('a, 'b, ('a, 'b) Bin_spec.t) Type_class.S2.reader
        val bin_t : ('a, 'b, ('a, 'b) Bin_spec.t) Type_class.S2.t
      end
  module type Make_iterable_binable_spec =
    sig
      type t
      type el
      type acc
      val module_name : string option
      val length : Utils.Make_iterable_binable_spec.t -> int
      val iter :
        Utils.Make_iterable_binable_spec.t ->
        f:(Utils.Make_iterable_binable_spec.el -> unit) -> unit
      val init : int -> Utils.Make_iterable_binable_spec.acc
      val insert :
        Utils.Make_iterable_binable_spec.acc ->
        Utils.Make_iterable_binable_spec.el ->
        int -> Utils.Make_iterable_binable_spec.acc
      val finish :
        Utils.Make_iterable_binable_spec.acc ->
        Utils.Make_iterable_binable_spec.t
      val bin_size_el : Utils.Make_iterable_binable_spec.el Size.sizer
      val bin_write_el_ :
        Utils.Make_iterable_binable_spec.el Unsafe_write_c.writer
      val bin_read_el_ :
        Utils.Make_iterable_binable_spec.el Unsafe_read_c.reader
    end
  module Make_iterable_binable :
    functor (Iterable_spec : Make_iterable_binable_spec) ->
      sig
        val bin_size_t : Iterable_spec.t Size.sizer
        val bin_write_t : Iterable_spec.t Map_to_safe.writer
        val bin_write_t_ : Iterable_spec.t Unsafe_write_c.writer
        val bin_read_t : Iterable_spec.t Read_ml.reader
        val bin_read_t_ : Iterable_spec.t Unsafe_read_c.reader
        val bin_read_t__ : (int -> Iterable_spec.t) Unsafe_read_c.reader
        val bin_writer_t : Iterable_spec.t Type_class.writer
        val bin_reader_t : Iterable_spec.t Type_class.reader
        val bin_t : Iterable_spec.t Type_class.t
      end
  module type Make_iterable_binable1_spec =
    sig
      type 'a t
      type 'a el
      type 'a acc
      val module_name : string option
      val length : 'a Utils.Make_iterable_binable1_spec.t -> int
      val iter :
        'a Utils.Make_iterable_binable1_spec.t ->
        f:('a Utils.Make_iterable_binable1_spec.el -> unit) -> unit
      val init : int -> 'a Utils.Make_iterable_binable1_spec.acc
      val insert :
        'a Utils.Make_iterable_binable1_spec.acc ->
        'a Utils.Make_iterable_binable1_spec.el ->
        int -> 'a Utils.Make_iterable_binable1_spec.acc
      val finish :
        'a Utils.Make_iterable_binable1_spec.acc ->
        'a Utils.Make_iterable_binable1_spec.t
      val bin_size_el :
        ('a, 'a Utils.Make_iterable_binable1_spec.el) Size.sizer1
      val bin_write_el_ :
        ('a, 'a Utils.Make_iterable_binable1_spec.el) Unsafe_write_c.writer1
      val bin_read_el_ :
        ('a, 'a Utils.Make_iterable_binable1_spec.el) Unsafe_read_c.reader1
    end
  module Make_iterable_binable1 :
    functor (Iterable_spec : Make_iterable_binable1_spec) ->
      sig
        val bin_size_t : ('a, 'a Iterable_spec.t) Size.sizer1
        val bin_write_t : ('a, 'a Iterable_spec.t) Map_to_safe.writer1
        val bin_write_t_ : ('a, 'a Iterable_spec.t) Unsafe_write_c.writer1
        val bin_read_t : ('a, 'a Iterable_spec.t) Map_to_safe.reader1
        val bin_read_t_ : ('a, 'a Iterable_spec.t) Unsafe_read_c.reader1
        val bin_read_t__ :
          ('a, int -> 'a Iterable_spec.t) Unsafe_read_c.reader1
        val bin_writer_t : ('a, 'a Iterable_spec.t) Type_class.S1.writer
        val bin_reader_t : ('a, 'a Iterable_spec.t) Type_class.S1.reader
        val bin_t : ('a, 'a Iterable_spec.t) Type_class.S1.t
      end
  module type Make_iterable_binable2_spec =
    sig
      type ('a, 'b) t
      type ('a, 'b) el
      type ('a, 'b) acc
      val module_name : string option
      val length : ('a, 'b) Utils.Make_iterable_binable2_spec.t -> int
      val iter :
        ('a, 'b) Utils.Make_iterable_binable2_spec.t ->
        f:(('a, 'b) Utils.Make_iterable_binable2_spec.el -> unit) -> unit
      val init : int -> ('a, 'b) Utils.Make_iterable_binable2_spec.acc
      val insert :
        ('a, 'b) Utils.Make_iterable_binable2_spec.acc ->
        ('a, 'b) Utils.Make_iterable_binable2_spec.el ->
        int -> ('a, 'b) Utils.Make_iterable_binable2_spec.acc
      val finish :
        ('a, 'b) Utils.Make_iterable_binable2_spec.acc ->
        ('a, 'b) Utils.Make_iterable_binable2_spec.t
      val bin_size_el :
        ('a, 'b, ('a, 'b) Utils.Make_iterable_binable2_spec.el) Size.sizer2
      val bin_write_el_ :
        ('a, 'b, ('a, 'b) Utils.Make_iterable_binable2_spec.el)
        Unsafe_write_c.writer2
      val bin_read_el_ :
        ('a, 'b, ('a, 'b) Utils.Make_iterable_binable2_spec.el)
        Unsafe_read_c.reader2
    end
  module Make_iterable_binable2 :
    functor (Iterable_spec : Make_iterable_binable2_spec) ->
      sig
        val bin_size_t : ('a, 'b, ('a, 'b) Iterable_spec.t) Size.sizer2
        val bin_write_t :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Map_to_safe.writer2
        val bin_write_t_ :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Unsafe_write_c.writer2
        val bin_read_t :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Map_to_safe.reader2
        val bin_read_t_ :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Unsafe_read_c.reader2
        val bin_read_t__ :
          ('a, 'b, int -> ('a, 'b) Iterable_spec.t) Unsafe_read_c.reader2
        val bin_writer_t :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Type_class.S2.writer
        val bin_reader_t :
          ('a, 'b, ('a, 'b) Iterable_spec.t) Type_class.S2.reader
        val bin_t : ('a, 'b, ('a, 'b) Iterable_spec.t) Type_class.S2.t
      end
end