Beispiel #1
0
 public void PrintProgram(TextWriter writer)
 {
     var dafnyPrinter = new Printer(writer);
     dafnyPrinter.PrintProgram(Program, false);
 }