Top

Simpadd0-expr

Transform an expression.

Signature
(simpadd0-expr expr gin) → (mv new-expr gout)
Arguments: expr — Guard (exprp expr).; gin — Guard (ginp gin).
Returns: new-expr — Type (exprp new-expr).; gout — Type (goutp gout).