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

Reverse

Reverse maps a path to the corresponding sequence of atoms in reverse order.

    Reverse:
        <> ==
        <$x> == <> $x.
    
    Reverse:<a b c> = c b a.


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

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