definition module whileFor

import while

:: WFor = WFor String Is WhileInt To WhileInt Do WhileExpr

(*.) infixl 7
(*.) a b :== WInt (WMult a b)

instance evali WMult