Core.Printhtml2
module PrinterClassHtml (X : Frama_c_kernel.Printer.PrinterClass) : sig ... end
val pp_file : Stdlib.Format.formatter -> 'a -> unit