summaryrefslogblamecommitdiff
path: root/paper/While/Simple.dcl
blob: df49964e553bac8fc381608978c9a02356010620 (plain) (tree)
1
2
3
4
5
6
7
8
9
10



                                        



                           

                     
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