diff options
| author |  rustanleino <unknown> | 2010-05-21 22:09:56 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-05-21 22:09:56 +0000 |
| commit | db9765d7f11a9c0ad6fb2620aff67cef7d8ab27b (patch) | |
| tree | c91513fd1331c647cebbfec82288e88a4a5d8ec4 /BCT/BytecodeTranslator/Prelude.cs | |
| parent | 2fc9a47b200589fae14f698e7546553a0b31aec2 (diff) | |
Dafny: Allow < and > for comparisons of datatype values (which then compares their ranks)
Diffstat (limited to 'BCT/BytecodeTranslator/Prelude.cs')
0 files changed, 0 insertions, 0 deletions