Statement-list-unique-funs
Check that a list of statements has unique function names.
- Signature
(statement-list-unique-funs stmts funs) → new-funs
- Arguments
- stmts — Guard (statement-listp stmts).
- funs — Guard (identifier-setp funs).
- Returns
- new-funs — Type (identifier-set-resultp new-funs).