Closed seebees closed 1 month ago
This removes Dafny warnings around forall statments lacking a {trigger}
forall
{trigger}
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
This removes Dafny warnings around
forallstatments lacking a{trigger}By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.