implementation module whileMult

import StdEnv
import while

instance evali WMult where evali (WMult a b) = \g->evali a g * evali b g
instance print WMult where print (WMult a b) = print a +++ " * " +++ print b