expr/exist/whileMult.dcl

   1 definition module whileMult
   2
   3 import while
   4
   5 :: WMult = WMult WhileInt WhileInt
   6
   7 (*.) infixl 7
   8 (*.) a b :== WInt (WMult a b)
   9
  10 instance evali WMult
  11 instance print WMult