implementation module whileRep

import StdEnv
import while

:: WRep = WRepeat WhileExpr Until WhileBool

instance eval WRep where eval (WRepeat e _ b) = eval (e :. While b Do e)
instance print WRep where print (WRepeat e _ b) = "Repeat " +++ print e +++ " until " +++ print b