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