module DEFINITIONS is ------------------------------------------------------------------------------ type Sig is -- Signals sent on gate CMD Turn, Drill, Lock, Unlock, Test, --- Signals sent on gate INF Turned, Present, Absent, Drilled, Locked, Unlocked, Tested, -- Signals sent on gate REQ Add, Remove end type ------------------------------------------------------------------------------ channel SigChannel is (S: Sig) end channel ------------------------------------------------------------------------------ channel SigBoolChannel is (S: Sig), (S: Sig, B: Bool) end channel ------------------------------------------------------------------------------ end module