F | |
force_brace [Printer_api.extensible_printer_type] |
If set to
true (default is false , some additional braces are
printed.
|
I | |
is_ghost [Printer_api.extensible_printer_type] |
are we printing ghost code?
|
L | |
logic_printer_enabled [Printer_api.extensible_printer_type] |
Local logical annotation (function specifications and code annotations
are printed only if
logic_printer_enabled is set to true .
|
V | |
verbose [Printer_api.extensible_printer_type] |
more info is displayed when on verbose mode.
|