previous up contents next
Left: First Up: Standard library function functions Right: Last

Rest

Rest is like Idem but omits the First item of the path and fails if there isn't one.

    Rest:
        <> == Fail:<'Rest'>
        <$x> == Idem:<>.
    
    Rest:<a b c> = b c.


---------------------------------------------------------

Copyright © Roger Evans, Gerald Gazdar & Bill Keller, Tuesday 10 November 1998