Simpadd0-genassoc
Transform a generic association.
- Signature
(simpadd0-genassoc genassoc gin state)
→
(mv new-genassoc gout)
- Arguments
- genassoc — Guard (genassocp genassoc).
- gin — Guard (simpadd0-ginp gin).
- Returns
- new-genassoc — Type (genassocp new-genassoc).
- gout — Type (simpadd0-goutp gout).
