Closed miguel-ambrona closed 4 months ago
Introduce a parametric Counter type to unify the way we reason about changes in the state fields.
Counter
Introduce a parametric
Counter
type to unify the way we reason about changes in the state fields.