Skip to content
Merged

feat: represent assertions more similarly to function calls#6103
asterite merged 12 commits intomasterfrom ab/constraint-statement

feat: represent assertions more similarly to function calls#6103

Merged
asterite merged 12 commits intomasterfrom ab/constraint-statementSep 20, 2024

Commits cannot be loaded

The page is unavailable due to a system error.

Try reloading the page, or if the problem persists, contact support.

GitHub status