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