Pure Functions

Factor specification logic into reusable computations. Pure functions keep contracts readable without changing program state.

Pure Modifier

The pure modifier declares a function as side-effect free, enabling its use in verification specifications like contracts and invariants.

Pure functions serve as named predicates in contracts, making specifications more readable and reusable.

Pure functions are side-effect free mathematical functions. This page documents all restrictions, their error codes, and workarounds.