Parameter Make_iterable_binable.1-Iterable_spec

type t
type el
val caller_identity : Shape.Uuid.t

caller_identity is necessary to ensure different callers of Make_iterable_binable are not shape compatible.

val module_name : string option
val length : t -> int
val iter : t -> f:(el -> unit) -> unit
val init : len:int -> next:(unit -> el) -> t
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