Free-vars-decl
Collect free variables appearing in a declaration.
- Signature
(free-vars-decl decl bound-vars) → (mv free-vars bound-vars)
- Arguments
- decl — Guard (declp decl).
- bound-vars — Guard (ident-setp bound-vars).
- Returns
- free-vars — Type (ident-setp free-vars).
- bound-vars — Type (ident-setp bound-vars).
