Svex-subst-memo
Substitution for svexes, identical to svex-subst,
except that we memoize the results.
- Signature
(svex-subst-memo pat al) → x
- Arguments
- pat — Guard (svex-p pat).
- al — Need not be fast; we still use slow lookups.
Guard (svex-alist-p al).
- Returns
- x — Type (equal x (svex-subst pat al)).
