(svex-subst-from-svexarr-memo-ok x svexarr) → *
Function:
(defun svex-subst-from-svexarr-memo-ok$inline (x svexarr) (declare (xargs :stobjs (svexarr))) (declare (xargs :guard (svex-p x))) (declare (xargs :guard (svarlist-boundedp (svex-vars x) (svexs-length svexarr)))) (let ((__function__ 'svex-subst-from-svexarr-memo-ok)) (declare (ignorable __function__)) (eq (svex-kind x) :call)))