sval_def

sval_def:=

variables | val NAME sname_suffix = sexpr ;

variables | val sdeclname = sexpr ;

variables | val sdeclname : stypeexpr = sexpr ;

Value definition requires an initialiser.

variables | val sdeclname : stypeexpr ;

Value declaration, only allowed in classes.

variables | ref sdeclname <- sexpr ;

variables | ref sdeclname : stypeexpr <- sexpr ;