Last modified on Tue Feb 11 15:07:33 PST 1992 by muller
UNSAFE INTERFACE ThreadEvent; IMPORT ThreadF; TYPE Kind = {Changed, Running, Deleted}; T = RECORD kind: Kind; id: ThreadF.Id := 0; state := ThreadF.State.dead; END; END ThreadEvent.