C# (CSharp) LemmaCall Examples

Example #1

File: DafnySpec.cs Project: jango2015/Ironclad

 public virtual void AddLemma(LemmaCall lemma)
 {
 }

Example #2

File: DafnyCC.cs Project: jango2015/Ironclad

 public override void AddLemma(LemmaCall lemma)
 {
     lemmas.Add(lemma);
 }

Example #3

 public virtual void AddLemma(LemmaCall lemma)
 {
 }