build-vector

build-vector : (nat (nat -> x) -> (vectorof x))

purpose:
to construct a vector


Advanced Student Language