reverse a list or string
Major Section:  ACL2-BUILT-INS

(Reverse x) is the result of reversing the order of the elements of the list or string x.

The guard for reverse requires that its argument is a true list or a string.

Reverse is defined in Common Lisp. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.