public static string ModuleDefinitionToString(ModuleDefinition m, DafnyOptions.PrintModes printMode = DafnyOptions.PrintModes.
Everything)
{
Contract.Requires(m != null);
using (var wr = new System.IO.StringWriter()) {
var pr = new Printer(wr, printMode);
pr.PrintModuleDefinition(m, m.VisibilityScope, 0, null);
return ToStringWithoutNewline(wr);
}
}
