Module Printhtml2.PrinterClassHtml

Parameters

module X : Frama_c_kernel.Printer.PrinterClass

Signature

val insert_marker : Stdlib.Format.formatter -> Gui.Interface.marker -> unit

class printer : Frama_c_kernel.Printer.extensible_printer