Search-engine friendly clone of the
ACL2 documentation
.
Top
Expression
Expression-var/const
This is a product type, introduced by
fty::deftagsum
in support of
expression
.
Fields
name —
identifier
Subtopics
Expression-var/const->name
Get the
name
field from a
expression-var/const
.
Make-expression-var/const
Basic constructor macro for
expression-var/const
structures.
Change-expression-var/const
Modifying constructor for
expression-var/const
structures.