Svexlist-eval
Evaluate each svex in a list under the same environment.
- Signature
(svexlist-eval x env) → vals
- Arguments
- x — List of expressions to evaluate.
Guard (svexlist-p x).
- env — Variable bindings. Must be a fast-alist.
Guard (svex-env-p env).
- Returns
- vals — Values of the expressions in x under this environment.
Type (4veclist-p vals).
Subtopics
- Svexlist-eval-basics
- Very basic list lemmas for svexlist-eval.
