printer
method paragraph : unit
method lines : unit
method section : string -> unit
method hline : unit
method printf : 'a. ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
Frama-C