We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
In most cases, it's just the balanceChange that needs to be constrained, so setting balance as a precondition is often unnecessary and adds fragility.
It would be nice to create a special data type for the balance that detects if its actual value is needed: #179 (comment)
The text was updated successfully, but these errors were encountered:
closing, as I think after additional discussion in the linked issue, this is overkill
Sorry, something went wrong.
No branches or pull requests
In most cases, it's just the balanceChange that needs to be constrained, so setting balance as a precondition is often unnecessary and adds fragility.
It would be nice to create a special data type for the balance that detects if its actual value is needed: #179 (comment)
The text was updated successfully, but these errors were encountered: