Fundef-unique-vars
Check that a function definition has unique variable names.
- Signature
(fundef-unique-vars fundef allvars) → new-allvars
- Arguments
- fundef — Guard (fundefp fundef).
- allvars — Guard (identifier-setp allvars).
- Returns
- new-allvars — Type (identifier-set-resultp new-allvars).