definition module Simple

from StdOverloaded import class toString
import WhileCommon

:: Stm   = Ass Var AExpr
         | If BExpr Stm Stm
         | While BExpr Stm
         | Skip
         | Compose Stm Stm

instance toString Stm
instance run Stm