C# (CSharp) Microsoft.Dafny.Type примеры использования

Пример #1

Файл: DafnyVariable.cs Проект: nasrat3158/Extract-inline-method

 public DafnyVariable(string name, Microsoft.Dafny.Type type, bool isGhost)
 {
     Name = name;
     Type = type;
     IsDeclaredInSelectedStatements = false;
     IsUsedAfterSelectedStatements  = false;
     IsOnHeap = false;
     IsGhost  = isGhost;
 }

Пример #2

Файл: DVariable.cs Проект: omaragb/tlp182

 public DVariable(string name, Microsoft.Dafny.Type type)
 {
     this.name = name;
     this.type = type;
 }