module CHANNELS (TYPES) is

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

-- these two definitions are common to the service and the protocol

channel InputChannel is
    (M : Msg),
    (I : Ind)
end channel

channel OutputChannel is
    (I : Ind),
    (D : Data, I : Ind)
end channel

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

-- these four definitions are specific to the protocol

channel NullChannel is
    ()
end channel

channel SignalChannel is
    (S : Signal)
end channel

channel IndChannel is
    (I : Ind)
end channel

channel KChannel is
    (FST : Bool, LST : Bool, ALT : Bool, D : Data)
end channel

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

end module