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 : f:('a el -> unit) ->
'a t -> 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