Search-engine friendly clone of the
ACL2 documentation
.
Top
Statement
Statement-let
This is a product type, introduced by
fty::deftagsum
in support of
statement
.
Fields
get —
vardecl
Subtopics
Statement-let->get
Get the
get
field from a
statement-let
.
Make-statement-let
Basic constructor macro for
statement-let
structures.
Change-statement-let
Modifying constructor for
statement-let
structures.