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