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