1 2 3 4 5 6 7 8 9 10 11
Clean( :: *State :== Int; :: IntPointer :== Int ) void ginit(); Clean(ginit :: State -> State) void gopen(); Clean(gopen :: State -> State)