Check-shadow-statement-list
Check variable shadowing in a list of statements.
- Signature
(check-shadow-statement-list stmts vars) → new-vars
- Arguments
- stmts — Guard (statement-listp stmts).
- vars — Guard (identifier-setp vars).
- Returns
- new-vars — Type (identifier-set-resultp new-vars).