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