pseudo-lambda-listp

(in-package "ACL2")

(deflist pseudo-lambda-listp
  (x)
  :parents (std/system/term-function-recognizers pseudo-lambdap)
  :short (topstring "Recognize true lists of "
    (seetopic "pseudo-lambdap"
      "pseudo-lambda-expressions")
    ".")
  (pseudo-lambdap x)
  :true-listp t
  :elementp-of-nil nil)