module type Make_iterable_binable_spec =sig..end
type t
type el
type acc
val module_name : string optionval length : t -> intval iter : f:(el -> unit) ->
t -> unitval init : int -> accval insert : acc ->
el ->
int -> accval finish : acc -> tval bin_size_el : el Size.sizerval bin_write_el_ : el Unsafe_write_c.writerval bin_read_el_ : el Unsafe_read_c.reader