rest

rest : ((cons y (listof x)) -> (listof x))

purpose:
to select the rest of a non-empty list


Intermediate Student Language