F | |
force_brace [Printer_api.extensible_printer_type] | If set to |
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 |
V | |
verbose [Printer_api.extensible_printer_type] | more info is displayed when on verbose mode. |