Class type Cil.descriptiveCilPrinter

class type descriptiveCilPrinter = object .. end

Inherits

method startTemps : unit -> unit

method stopTemps : unit -> unit

method pTemps : unit -> Pretty.doc

This web site is published by Informatikbüro Gerd Stolpmann