Dimb-decl-spec-list
Disambiguate a list of declaration specifiers.
- Signature
(dimb-decl-spec-list declspecs kind table)
→
(mv erp new-declspecs new-kind new-table)
- Arguments
- declspecs — Guard (decl-spec-listp declspecs).
- kind — Guard (dimb-kindp kind).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-declspecs — Type (decl-spec-listp new-declspecs).
- new-kind — Type (dimb-kindp new-kind).
- new-table — Type (dimb-tablep new-table).
See dimb-decl-spec for an explanation of
the disambiguation kind passed as input and returned as output.
