		Search-engine friendly clone of the ACL2 documentation.

Print-stmt

Print a statement, in one or more lines, with proper indentation.

Signature
(print-stmt stmt pstate) → new-pstate
Arguments: stmt — Guard (stmtp stmt).; pstate — Guard (pristatep pstate).
Returns: new-pstate — Type (pristatep new-pstate).

When printing sub-statements of statements, we treat compound sub-statements slighly differently from non-compound sub-statements, because for compound sub-statements we print the open curly brace at the end of the line, and additionally the closed curly brace may be followed by more code on the same line (e.g. for an else). We use a separate function print-block for that; see its documentation.