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