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