thread/src/POSIX/ThreadEvent.i3


Copyright (C) 1994, Digital Equipment Corp.

INTERFACE ThreadEvent;

IMPORT ThreadF;

TYPE
  Kind = {Changed, Running, Deleted};

  T = RECORD
        kind: Kind;
        id: ThreadF.Id := 0;
        state := ThreadF.State.dead; END;

END ThreadEvent.

interface ThreadF is in: