rest
rest : ((cons y (listof x)) -> (listof x))
purpose:
to select the rest of a non-empty list
Reductions:
(rest v) e--> rest: expects argument of type <pair>
where v is not (cons ...)
(rest) e--> rest: expects one argument
(rest v v v ...) e--> rest: expects one argument
(rest (cons v list-value)) --> list-value
Beginning Student Language