		Search-engine friendly clone of the ACL2 documentation.

Stmt-fixtypes

Stmt

Fixtype of statements [C:6.8].

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

We capture almost all the statements: labeled [C:6.8.1], compound [C:6.8.2], expression and null [C:6.8.3], selection [C:6.8.4], iteration [C:6.8.5] (except for for statements whose initialization part is a declaration), and jump [C:6.8.6].

Subtopics

Stmtp: Recognizer for stmt structures.
Stmt-case: Case macro for the different kinds of stmt structures.
Stmt-for
Stmt-equiv: Basic equivalence relation for stmt structures.
Stmt-ifelse
Stmt-while
Stmt-switch
Stmt-labeled
Stmt-if
Stmt-dowhile
Stmt-kind: Get the kind (tag) of a stmt structure.
Stmt-return
Stmt-goto
Stmt-compound
Stmt-expr
Stmt-null
Stmt-continue
Stmt-break
Stmt-fix: Fixing function for stmt structures.
Stmt-count: Measure for recurring over stmt structures.

Stmt

Member Tags → Types

Subtopics