bork

[clean-tests.git] / expr / exist / whileMult.icl

implementation module whileMult

import StdEnv
import while

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