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