definition module whileMult

import while

:: WMult = WMult WhileInt WhileInt

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

instance evali WMult
instance print WMult