definition module whileRep

import while

:: WRep = WRepeat WhileExpr Until WhileBool
:: Until = Until

Repeat e Until b :== WExpr (WRepeat e Until b)

instance eval WRep
instance print WRep