:= EOF := | SEP := let = | := if then end | if then else end | while SEP end | ( ) | := | |