dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Remove usage of opaque from standard library

Open keyboardDrummer opened this issue 1 year ago • 0 comments

Description

  • Remove usage of opaque from standard library

How has this been tested?

  • Standard library is verified by CI

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

keyboardDrummer avatar Sep 18 '24 13:09 keyboardDrummer