timerDevice.dcl 159 Bytes
Newer Older
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
1 2 3 4 5 6 7 8
definition module timerDevice;

import ioState;

    
TimerFunctions	::    DeviceFunctions state;

ReOpenTimers	:: ![TimerHandle s] !(IOState s) -> IOState s;