Parameter Make1_and_test.1-Sequence

include Base.Blit.Sequence1
type 'a t
val create_like : len:int -> 'a t -> 'a t

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

val length : _ t -> int
val unsafe_blit : ('a t'a t) Base__.Blit_intf.blit
include Sequence1 with type 'a t := 'a t with type 'a elt := 'a poly
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