Quote an arbitrary true list of objects
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).
Function: kwote-lst
(defun kwote-lst (lst) (declare (xargs :guard (true-listp lst))) (cond ((endp lst) nil) (t (cons (kwote (car lst)) (kwote-lst (cdr lst))))))
