Swcase-unique-vars
Check that a switch case has unique variable names.
- Signature
(swcase-unique-vars case allvars) → new-allvars
- Arguments
- case — Guard (swcasep case).
- allvars — Guard (identifier-setp allvars).
- Returns
- new-allvars — Type (identifier-set-resultp new-allvars).