Lit-listp
(lit-listp x) recognizes lists where every element satisfies litp.
- Signature
(lit-listp x) → *
This is an ordinary deflist. It is
"strict" in that it requires x to be a
"properly" nil-terminated list.
Subtopics
- Lit-listp-basics
- Basic theorems about lit-listp, generated by deflist.