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