expr/exist/existFor.dcl

   1 definition module whileFor
   2
   3 import while
   4
   5 :: WFor = WFor String Is WhileInt To WhileInt Do WhileExpr
   6
   7 (*.) infixl 7
   8 (*.) a b :== WInt (WMult a b)
   9
  10 instance evali WMult