build-vector
build-vector : (nat (nat -> x) -> (vectorof x))
purpose:
to construct a vector
Advanced Student Language