		Search-engine friendly clone of the ACL2 documentation.

Svexlist-rewrite

Recursively rewrite a list of svex expressions.

Signature
(svexlist-rewrite x masks multirefs out-multirefs memo) → (mv xx out-multirefs memo)
Arguments: x — Guard (svexlist-p x).; masks — Guard (svex-mask-alist-p masks).; multirefs — Guard (svex-key-alist-p multirefs).; out-multirefs — Guard (svex-key-alist-p out-multirefs).; memo — Guard (svex-svex-memo-p memo).
Returns: xx — Type (svexlist-p xx).; out-multirefs — Type (svex-key-alist-p out-multirefs).; memo — Type (svex-svex-memo-p memo).