module type Make_iterable_binable2_spec = sig .. end
type ('a, 'b) t
type ('a, 'b) el
type ('a, 'b) acc
val module_name : string option
val length : ('a, 'b) t -> int
val iter : ('a, 'b) t ->
f:(('a, 'b) el -> unit) -> unit
val init : int -> ('a, 'b) acc
val insert : ('a, 'b) acc ->
('a, 'b) el ->
int -> ('a, 'b) acc
val finish : ('a, 'b) acc ->
('a, 'b) t
val bin_size_el : ('a, 'b, ('a, 'b) el) Size.sizer2
val bin_write_el : ('a, 'b, ('a, 'b) el) Write.writer2
val bin_read_el : ('a, 'b, ('a, 'b) el) Read.reader2