vector-ref
vector-ref : ((vector x) nat -> x)
purpose:
to extract an element from a vector
Advanced Student Language