Svexlist-eval-for-symbolic
- Signature
(svexlist-eval-for-symbolic x env symbolic-params) → *
- Arguments
- x — Guard (svexlist-p x).
- env — Guard (svex-env-p env).
- symbolic-params — Guard (alistp symbolic-params).
Definitions and Theorems
Function: svexlist-eval-for-symbolic
(defun svexlist-eval-for-symbolic (x env symbolic-params)
(declare (xargs :guard (and (svexlist-p x)
(svex-env-p env)
(alistp symbolic-params))))
(let ((__function__ 'svexlist-eval-for-symbolic))
(declare (ignorable __function__))
(svexlist-eval x env)))
