		Search-engine friendly clone of the ACL2 documentation.

Output-expression

Fixtype of output expressions.

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

This is a wrapper of expression, but only value expressions are allowed, which is enforced in the static semantics.

Output-expression-fix: Fixing function for output-expression structures.
Output-expression-equiv: Basic equivalence relation for output-expression structures.
Make-output-expression: Basic constructor macro for output-expression structures.
Output-expression->get: Get the get field from a output-expression.
Change-output-expression: Modifying constructor for output-expression structures.
Output-expressionp: Recognizer for output-expression structures.