paper/While/Simple.dcl


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