Index of class attributes

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.