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