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

