Dimb-struct-declon
Disambiguate a structure declaration.
- Signature
(dimb-struct-declon structdeclon table)
→
(mv erp new-structdeclon new-table)
- Arguments
- structdeclon — Guard (struct-declonp structdeclon).
- table — Guard (dimb-tablep table).
- Returns
- erp — Type (maybe-msgp erp).
- new-structdeclon — Type (struct-declonp new-structdeclon).
- new-table — Type (dimb-tablep new-table).
