implementation module whileMult

import StdEnv
import while

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