state
- state TYPE EXPR
- state EXPR : ATTRS
- state TYPE EXPR : ATTRS
state
declares a lexically scoped variable, just likemy
does. However, those variables will never be reinitialized, contrary to lexical variables that are reinitialized each time their enclosing block is entered.state
variables are only enabled when thefeature 'state'
pragma is in effect. See feature.