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
create, get, and set are just used for unit tests. z is needed for Flat_tuple_array.
create
get
set
z
Flat_tuple_array