expr/exist/whileRep.icl

   1 implementation module whileRep
   2
   3 import while
   4
   5 :: WRep = WRepeat WhileExpr Until WhileBool
   6
   7 instance eval WRep where eval (WRepeat e Until b) = eval (e :. While b Do e)