module CHANNELS (DATA) is

channel Id is
   (n: Nat)
end channel

channel Sig is
   (id: Nat, flag: SIGNAL)
end channel

channel Areq is
   (id: Nat, flag: PHY_AREQ)
end channel

channel Acon is
   (id: Nat, flag: PHY_ACONF)
end channel

channel Ack is
   (id: Nat, a: ACK, b: BOC)
end channel

channel Dreq is
   (id: Nat, dest: Nat, h: HEADER, d: DATA)
end channel

channel Dind is
   (id: Nat, l: LIN_DIND)
end channel

channel Dcon is
   (id: Nat, l: LIN_DCONF)
end channel

end module