Statement-list-unique-vars
Check that a list of statements has unique variable names.
- Signature
(statement-list-unique-vars stmts allvars) → new-allvars
- Arguments
- stmts — Guard (statement-listp stmts).
- allvars — Guard (identifier-setp allvars).
- Returns
- new-allvars — Type (identifier-set-resultp new-allvars).