Parameter Test1_generic.2-Sequence

type 'a t
val length : _ t -> Base.int

Make1* guarantees to only call create_like ~len t with len > 0 if length t > 0.

type 'a z

create_bool, get, and set are just used for unit tests. z is needed for Flat_tuple_array, elt is needed for Option_array.

type 'a elt
val create_bool : len:Base.int -> Base.bool z t
val get : 'a z t -> Base.int -> 'a elt
val set : 'a z t -> Base.int -> 'a elt -> Base.unit