Statement-unique-vars
Check that a statement has unique variable names.
- Signature
(statement-unique-vars stmt allvars) → new-allvars
- Arguments
- stmt — Guard (statementp stmt).
- allvars — Guard (identifier-setp allvars).
- Returns
- new-allvars — Type (identifier-set-resultp new-allvars).
