variable for the type [...] <variable name> := <BOOL [...] <operand> = <variable
and size (example: 'T [...] syntax <variable name [...] <operand> = <variable
<variable name> := [...] operand> = <variable [...] variable for the type