Closed 1uc closed 2 months ago
The semantics for this integer variable exist, but not the variable itself. This also defines the variable.
The semantics for this integer variable exist, but not the variable itself. This also defines the variable.