diff options
| author |  rustanleino <unknown> | 2010-05-21 22:09:56 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-05-21 22:09:56 +0000 |
| commit | 93ac0e1e3eb6e18895087d2420b98bd8ba06443b (patch) | |
| tree | e10230c0e956ab43f05968c59ff2fc038bc443b7 /Test/vacid0 | |
| parent | 572b11dddba3bfbdc4e90beb4d7f2e076878f717 (diff) | |
Dafny: Allow < and > for comparisons of datatype values (which then compares their ranks)
Diffstat (limited to 'Test/vacid0')
0 files changed, 0 insertions, 0 deletions