• Top
  • Compdecl-list

Compdecl-listp

(compdecl-listp x) recognizes lists where every element satisfies compdeclp.

Signature
(compdecl-listp x) → *

This is an ordinary std::deflist. It is "strict" in that it requires x to be a "properly" nil-terminated list.

Subtopics

Compdecl-listp-basics
Basic theorems about compdecl-listp, generated by std::deflist.