module CHANNELS (TYPES) is

-------------------------------------------------------------------------------

channel CInChannel is
   (C : Command),                           -- C is Send_Faults or Other_Command
   (C : Command, N : PortNo),               -- C is Add_Data_Port
   (C : Command, R : RouteNo, PS : PortSet) -- C is Add_Route
end channel

-------------------------------------------------------------------------------

channel COutChannel is
   (B : Bool, L : EnvList)
end channel

-------------------------------------------------------------------------------

channel DInChannel is
   (N : PortNo, E : Env, R : RouteNo)
end channel

-------------------------------------------------------------------------------

channel DOutChannel is
   (N : PortNo, E : Env)
end channel

-------------------------------------------------------------------------------

channel NullChannel is
   ()
end channel

-------------------------------------------------------------------------------

channel PortChannel is
   (N : PortNo)
end channel

-------------------------------------------------------------------------------

channel EnvChannel is
   (E : Env)
end channel

-------------------------------------------------------------------------------

channel TimeOutChannel is
   (N : PortNo, E : Env)
end channel

-------------------------------------------------------------------------------

channel RqChannel is
   (R : RouteNo, E : Env)
end channel

-------------------------------------------------------------------------------

channel RaChannel is
   (ERR : ErrorCode, R : RouteNo, E : Env),
   (PS : PortSet, R : RouteNo, E : Env)
end channel

-------------------------------------------------------------------------------

end module