cleanc.dcl


1
2
3
4
5
6
7
8
9
10

definition module cleanc

:: State :== Int

puti :: !Int !*State -> *State

call :: !String !*State -> *State

geti :: !*State -> (!Int, !*State)