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