Make_iterable_binable.Iterable_spec
val caller_identity : Bin_shape.Uuid.t
caller_identity
is necessary to ensure different callers of Make_iterable_binable
are not shape compatible.
val length : t -> int
val bin_size_el : el Size.sizer
val bin_write_el : el Write.writer
val bin_read_el : el Read.reader
val bin_shape_el : Shape.t