Free-vars-struct-declor-list
Collect free variables appearing in a list of structure
declarators.
- Signature
(free-vars-struct-declor-list structdeclors bound-vars)
→
(mv free-vars bound-vars)
- Arguments
- structdeclors — Guard (struct-declor-listp structdeclors).
- bound-vars — Guard (ident-setp bound-vars).
- Returns
- free-vars — Type (ident-setp free-vars).
- bound-vars — Type (ident-setp bound-vars).
