		Search-engine friendly clone of the ACL2 documentation.

Dimb-stmt

Disambiguate a statement.

Signature
(dimb-stmt stmt table) → (mv erp new-stmt new-table)
Arguments: stmt — Guard (stmtp stmt).; table — Guard (dimb-tablep table).
Returns: new-stmt — Type (stmtp new-stmt).; new-table — Type (dimb-tablep new-table).

A compound statement form a new scope. Thus we push a new scope before the block, which we pop after the block.

A selection statement forms a new scope, as do its sub-statements [C:6.8.4/3].

An iteration statement forms a new scope, as do its sub-statements [C:6.8.5/5].