Make_iterable_binable2.Iterable_specval caller_identity : Bin_shape.Uuid.tval length : ('a, 'b) t -> intval bin_size_el : ('a, 'b, ('a, 'b) el) Size.sizer2val bin_write_el : ('a, 'b, ('a, 'b) el) Write.writer2val bin_read_el : ('a, 'b, ('a, 'b) el) Read.reader2