Search-engine friendly clone of the
ACL2 documentation
.
Top
Files
Finalizer
Fixtype of Leo finalizer blocks.
This is a product type introduced by
fty::defprod
.
Fields
name —
identifier
inputs —
funparam-list
output —
type-option
body —
statement-list
Subtopics
Finalizer-fix
Fixing function for
finalizer
structures.
Make-finalizer
Basic constructor macro for
finalizer
structures.
Finalizer-equiv
Basic equivalence relation for
finalizer
structures.
Change-finalizer
Modifying constructor for
finalizer
structures.
Finalizer->output
Get the
output
field from a
finalizer
.
Finalizer->inputs
Get the
inputs
field from a
finalizer
.
Finalizer->body
Get the
body
field from a
finalizer
.
Finalizer->name
Get the
name
field from a
finalizer
.
Finalizerp
Recognizer for
finalizer
structures.