		Search-engine friendly clone of the ACL2 documentation.

Abstract-syntax

Closure

Fixtype of closures.

This is a product type introduced by fty::defprod.

Fields

name — identifier
inputs — closure-input-list
instrs — instruction-list
outputs — closure-output-list

A closure consists of a name (identifier), inputs, instructions, and outputs. Here we do not capture the requirement that there is at least an instruction.

Subtopics

Closure-fix: Fixing function for closure structures.
Make-closure: Basic constructor macro for closure structures.
Closure-equiv: Basic equivalence relation for closure structures.
Closure->outputs: Get the outputs field from a closure.
Closure->instrs: Get the instrs field from a closure.
Closure->inputs: Get the inputs field from a closure.
Change-closure: Modifying constructor for closure structures.
Closure->name: Get the name field from a closure.
Closurep: Recognizer for closure structures.