		Search-engine friendly clone of the ACL2 documentation.

Lint-stmt-rewrite

(Unsound transform) eliminate $display and various other statements to cut down on noisy warnings about dropping unsupported constructs.

Vl-initiallist-lint-stmt-rewrite: (vl-initiallist-lint-stmt-rewrite x) maps vl-initial-lint-stmt-rewrite across a list.
Vl-modulelist-lint-stmt-rewrite: (vl-modulelist-lint-stmt-rewrite x) maps vl-module-lint-stmt-rewrite across a list.
Vl-alwayslist-lint-stmt-rewrite: (vl-alwayslist-lint-stmt-rewrite x) maps vl-always-lint-stmt-rewrite across a list.
Vl-module-lint-stmt-rewrite
Vl-lint-throwaway-fn-p
Vl-initial-lint-stmt-rewrite
Vl-always-lint-stmt-rewrite
Vl-design-lint-stmt-rewrite
Vl-lint-stmt-rewrite: Main rewrite. Recursively convert any throwaway statements into null statements.