Dimb-structdecl
Disambiguate a structure declaration.
- Signature
(dimb-structdecl structdecl table)
→
(mv erp new-structdecl new-table)
- Arguments
- structdecl — Guard (structdeclp structdecl).
- table — Guard (dimb-tablep table).
- Returns
- new-structdecl — Type (structdeclp new-structdecl).
- new-table — Type (dimb-tablep new-table).
