Svex-context
An object that describes a reference to a particular svex subexpression.
This is a tagged union type, introduced by deftagsum.
Member Tags → Types
- :call → svex-context-call
- Represents a use of a subexpression in a call. Contains the
function and arguments of the call, and the argument number of the particular
subexpression in question.
- :top → svex-context-top
- Represents a use of a particular subexpression as a primary output,
or something top-level.
Subtopics
- Svex-context-fix
- Fixing function for svex-context structures.
- Svex-context-case
- Case macro for the different kinds of svex-context structures.
- Svex-context-equiv
- Basic equivalence relation for svex-context structures.
- Svex-context-call
- Represents a use of a subexpression in a call. Contains the
function and arguments of the call, and the argument number of the particular
subexpression in question.
- Svex-context-p
- Recognizer for svex-context structures.
- Svex-context-top
- Represents a use of a particular subexpression as a primary output,
or something top-level.
- Svex-context-kind
- Get the kind (tag) of a svex-context structure.
