Class type Cil.descriptiveCilPrinter

class type descriptiveCilPrinter = object .. end

• Cil.cilPrinter

method startTemps : unit -> unit

method stopTemps : unit -> unit

method pTemps : unit -> Pretty.doc