d2b12fd ^
6ecadcb ^
1 2 3 4 5
6 7 8 9 10
11 12 13
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