|
|
|---|
|
|
|
|---|
(field-spec-listp x) recognizes lists where every element satisfies field-specp.
(field-spec-listp x) → std::bool
This is an ordinary std::deflist. It is
"strict" in that it requires
Function:
(defun field-spec-listp (x) (declare (xargs :guard t)) (let ((__function__ 'field-spec-listp)) (declare (ignorable __function__)) (if (consp x) (and (field-specp (car x)) (field-spec-listp (cdr x))) (null x))))