expr/exist/whileMult.icl

   1 implementation module whileMult
   2
   3 import StdEnv
   4 import while
   5
   6 instance evali WMult where evali (WMult a b) = \g->evali a g * evali b g
   7 instance print WMult where print (WMult a b) = print a +++ " * " +++ print b