Block-option-unique-vars
Check that an optional block has unique variable names.
- Signature
(block-option-unique-vars block? allvars) → new-allvars
- Arguments
- block? — Guard (block-optionp block?).
- allvars — Guard (identifier-setp allvars).
- Returns
- new-allvars — Type (identifier-set-resultp new-allvars).