sep of concerns
[clean-tests.git] / expr / exist / whileMult.icl
index 379404e..a7e6283 100644 (file)
@@ -4,3 +4,4 @@ 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