whileRep.dcl

   1 definition module whileRep
   2
   3 import while
   4
   5 :: WRep = WRepeat WhileExpr Until WhileBool
   6 :: Until = Until
   7
   8 Repeat e Until b :== WExpr (WRepeat e Until b)
   9
  10 instance eval WRep
  11 instance print WRep