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