		Search-engine friendly clone of the ACL2 documentation.

Simpadd0-comp-stmt

Transform a compound-statement.

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

Since a compound statement maps to the same thing as its list of block items, in the abstract syntax of the language formalization, we just use the gout for the block items as the gout for the block.