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