		Search-engine friendly clone of the ACL2 documentation.

Initer

Fixtype of initializers [C:6.7.9] [C:A.2.2].

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:single → initer-single
:list → initer-list

This corresponds to initializer in the grammar in [C]. The initializer-list is captured as a list (which should be non-empty) of initializers with designations (see desiniter).

Subtopics

Initer-case: Case macro for the different kinds of initer structures.
Initerp: Recognizer for initer structures.
Initer-equiv: Basic equivalence relation for initer structures.
Initer-list
Initer-single
Initer-kind: Get the kind (tag) of a initer structure.
Initer-fix: Fixing function for initer structures.
Initer-count: Measure for recurring over initer structures.