Dimb-initer
Disambiguate an initializer.
- Signature
(dimb-initer initer table) → (mv erp new-initer new-table)
- Arguments
- initer — Guard (initerp initer).
- table — Guard (dimb-tablep table).
- Returns
- new-initer — Type (initerp new-initer).
- new-table — Type (dimb-tablep new-table).
