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

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

import StdId, StdPSt

StartIntr :: !(!Id,Id) .a (.Bool -> .(.a -> .(*(PSt .b) -> *(.a,*(PSt .b))))) !*(PSt .b) -> *(PSt .b)
StopIntr :: !(.a,!Id) !*(PSt .b) -> *(PSt .b)
ContIntr :: !(.a,!Id) !*(PSt .b) -> *(PSt .b)