module PROTOCOL_CHANNELS (SERVICE_TYPES, PROTOCOL_TYPES) is

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

-- these three definitions are specific to the protocol

channel NullChannel is
    ()
end channel

channel SignalChannel is
    (S : Signal)
end channel

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

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

end module