### KWOTE-LST

quote an arbitrary true list of objects
Major Section: ACL2-BUILT-INS

The function `kwote-lst`

applies the function `kwote`

to each element of
a given list. The guard of `(kwote-lst lst)`

is `(true-listp lst)`

.

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