Make_iterable_binable2.1-Iterable_spec
val caller_identity : Shape.Uuid.t
val length : ('a, 'b) t -> int
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