module type Make_iterable_binable1_spec =sig..end
type 'a t 
type 'a el 
type 'a acc 
val module_name : string optionval length : 'a t -> intval iter : 'a t ->
       f:('a el -> unit) -> unitval init : int -> 'a accval insert : 'a acc ->
       'a el ->
       int -> 'a accval finish : 'a acc ->
       'a tval bin_size_el : ('a, 'a el) Size.sizer1val bin_write_el_ : ('a, 'a el) Unsafe_write_c.writer1val bin_read_el_ : ('a, 'a el) Unsafe_read_c.reader1