val caller_identity : Shape.Uuid.tcaller_identityis necessary to ensure different callers ofMake_iterable_binableare not shape compatible.
val module_name : string optionval length : t -> intval iter : t -> f:(el -> unit) -> unitval init : len:int -> next:(unit -> el) -> tval bin_size_el : el Size.sizerval bin_write_el : el Write.writerval bin_read_el : el Read.readerval bin_shape_el : Shape.t