imperative syntax

Variable decl:

E
--------
let x = E;

Assignment:

E
-------
x = E;

Sequence (statements evaluated sequentially, effects resolved sequentially):

S1 S2
-----
S1 S2 <- Note that this is a "sequence statement, i.e. it is treated wholly as a statement"

While loop (evaluate a statement as long as boolean expr evals to true):

E S
------------
while(E){S}