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