summaryrefslogtreecommitdiff
path: root/paper/While/SimpleParse.dcl
blob: 12f25e53b52e3098dbf5df46820ab180d5359d5b (plain) (blame)
1
2
3
4
5
6
definition module SimpleParse

import WhileCommon
import Simple

instance parse Stm