		Search-engine friendly clone of the ACL2 documentation.

Simpadd0-stmt

Transform a statement.

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