interrupt.dcl 333 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
7
definition module interrupt

// version B of interrupt routines
// todo: reintegrate with version A (UtilInterrupt)

import StdId, StdPSt

Diederik van Arkel's avatar
Diederik van Arkel committed
8
9
10
StartIntr :: !(!Id,Id) .a (.Bool -> .(.a -> .(*(PSt .l) -> *(.a,*(PSt .l))))) !*(PSt .l) -> *(PSt .l)
StopIntr :: !(.a,!Id) !*(PSt .l) -> *(PSt .l)
ContIntr :: !(.a,!Id) !*(PSt .l) -> *(PSt .l)