• Top
  • Importdecl-list

Importdecl-listp

(importdecl-listp x) recognizes lists where every element satisfies importdeclp.

Signature
(importdecl-listp x) → *

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

Subtopics

Importdecl-listp-basics
Basic theorems about importdecl-listp, generated by std::deflist.