		Search-engine friendly clone of the ACL2 documentation.

Rp-other-utilities

Falist-consistent

Given a falist term (falist * *), checks consistence of arguments.

Signature
(falist-consistent falist-term) → *

Definitions and Theorems

Function: falist-consistent

(defun falist-consistent (falist-term)
       (declare (xargs :guard t))
       (let ((__function__ 'falist-consistent))
            (declare (ignorable __function__))
            (case-match falist-term
                        (('falist ('quote falist) term)
                         (falist-consistent-aux falist term))
                        (('falist ''nil ''nil) t)
                        (& nil))))