C# (CSharp) Model.AppWithResult Beispiele

Beispiel #1

Datei: DafnyProvider.cs Projekt: Chenguang-Zhu/ICE-C5

 public Model.Element Image(Model.Element elt, Model.Func f)
 {
   var r = f.AppWithResult(elt);
   if (r != null)
     return r.Args[0];
   return null;
 }