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.
Make1*
create_like ~len t
len > 0
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.
create_bool
get
set
z
Flat_tuple_array
elt
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