next up previous contents index
Next: reverse Up: ListType Previous: merge!   Contents   Index


rest


Usage

rest l


Signature

rest: % $\to$ %


Parameter Type Description
l % a nonempty list


Returns

Returns $l$ with the first element removed. Does not make a copy of $l$.


See Also

setRest!



Manuel Bronstein 2004-06-28