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