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