Simpadd0-initer
Transform an initializer.
- Signature
(simpadd0-initer initer gin state) → (mv new-initer gout)
- Arguments
- initer — Guard (initerp initer).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-initer — Type (initerp new-initer).
- gout — Type (simpadd0-goutp gout).
