Variable

Variables, including formal parameters, have name and type. ...

xxxxxxxxxxxxxxxxxxvar-decl ::= 

var var-id type-id      { private $\vert$ public } ; 



fpar-decl ::= 

$[$ in $\vert$ inout $\vert$ out $]$ fpar-id type-id