diff options
author | leino <unknown> | 2014-08-22 00:26:53 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-22 00:26:53 -0700 |
commit | 6e8c5d61cee5aa6ef56d8b711055541a80162d60 (patch) | |
tree | c5986faebf35b8bd8ca70025d22550ba2476301d /Test/dafny0/Modules2.dfy.expect | |
parent | 60036a94bf56dcb15e7f426f0e485e16fb85b651 (diff) |
Type check and pretty print newtype constraints
Diffstat (limited to 'Test/dafny0/Modules2.dfy.expect')
0 files changed, 0 insertions, 0 deletions