module CHANNELS (DATA) is !library ------------------------------------------------------------------------------- channel DEP_CHANNEL is (M: MSG) end channel ------------------------------------------------------------------------------- channel CRH_CHANNEL is (A: ADR) end channel ------------------------------------------------------------------------------- channel GET_CHANNEL is (A: ADR, M: MSG) end channel ------------------------------------------------------------------------------- channel MSG_CHANNEL is (M: MSG, T: TYPEMSG) end channel ------------------------------------------------------------------------------- end module