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}