winhead.dcl

DEFINITION MODULE winhead;
IMPORT lifestate, winmisc, lifeio;

TYPE
:: BlockSize -> INT;
:: RunState  -> BOOL;
:: UNQ State -> (!RunState, !BlockSize, !TRACKMODE, !Lifestate, !FILES);
:: UNQ IO    -> IOState State;

Back to tutorial