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