Simpadd0-expr-list
Transform a list of expressions.
- Signature
(simpadd0-expr-list exprs gin) → (mv new-exprs gout)
- Arguments
- exprs — Guard (expr-listp exprs).
- gin — Guard (ginp gin).
- Returns
- new-exprs — Type (expr-listp new-exprs).
- gout — Type (goutp gout).
