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