vector-length
vector-length : ((vector X) -> nat)
purpose:
to determine the length of a vector
Advanced Student Language