		Search-engine friendly clone of the ACL2 documentation.

Lambda-binding

This is a product type introduced by defprod.

The following invariant is enforced on the fields:

(equal (len formals) (len actuals))

Lambda-binding-fix: Fixing function for lambda-binding structures.
Lambda-binding-equiv: Basic equivalence relation for lambda-binding structures.
Make-lambda-binding: Basic constructor macro for lambda-binding structures.
Lambda-binding->formals: Get the formals field from a lambda-binding.
Lambda-binding->actuals: Get the actuals field from a lambda-binding.
Change-lambda-binding: Modifying constructor for lambda-binding structures.
Lambda-binding-p: Recognizer for lambda-binding structures.
Lambda-binding-list: A list of lambda-binding-p objects.