Module Cil_printer

module Cil_printer: sig .. end

Internal Cil printer.

Must not be used by plug-in developers: use module Printer instead. In particular, this pretty-printer is incorrect regarding annotations. It should only be used by modules linked before Annotations.
Since Fluorine-20130401

include Printer_api.S

val get_termination_kind_name : Cil_types.termination_kind -> string

val register_shallow_attribute : string -> unit

val register_behavior_extension : string ->
       (Printer_api.extensible_printer_type ->
        Format.formatter -> int * Cil_types.identified_predicate list -> unit) ->
       unit

val state : Printer_api.state

val print_global : Cil_types.global -> bool

Is the given global displayed by the pretty-printer.
Since Aluminium-20160501