class type descriptiveCilPrinter = object .. end
object
end
Cil.cilPrinter
method startTemps : unit -> unit
unit -> unit
method stopTemps : unit -> unit
method pTemps : unit -> Pretty.doc
unit -> Pretty.doc