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)