
Dafny program verifier finished with 1 verified, 0 errors

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found

Dafny program verifier did not attempt verification
git-issue-1151-more.dfy(13,5): Error: Abstract type ('_module.Opaque') cannot be compiled; perhaps make it a type synonym or use :extern.
Translation was aborted because errors were found
