Search-engine friendly clone of the
ACL2 documentation
.
Top
Statement
Statement-finalize
This is a product type, introduced by
fty::deftagsum
in support of
statement
.
Fields
arguments —
expression-list
Subtopics
Statement-finalize->arguments
Get the
arguments
field from a
statement-finalize
.
Make-statement-finalize
Basic constructor macro for
statement-finalize
structures.
Change-statement-finalize
Modifying constructor for
statement-finalize
structures.