		Search-engine friendly clone of the ACL2 documentation.

Moddb.lisp

Nrec

Signature
(nrec keys r) → *

Definitions and Theorems

Function: nrec

(defun nrec (keys r)
  (declare (xargs :guard t))
  (let ((__function__ 'nrec))
    (declare (ignorable __function__))
    (if (atom keys)
        nil
      (s (car keys)
         (g (car keys) r)
         (nrec (cdr keys) r)))))