diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-03-26 11:28:39 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-03-26 11:28:39 -0700 |
| commit | ecef1db108033fc46266e2978d3eea784cd950c3 (patch) | |
| tree | af4f78b65ca988b6fb409f594c32b0de780195ef /Source/Dafny/Dafny.atg | |
| parent | e10af1acf3bad4b74545f6609e659882b68fff83 (diff) | |
Type-inference support for cardinality operator
Diffstat (limited to 'Source/Dafny/Dafny.atg')
0 files changed, 0 insertions, 0 deletions