module CHANNELS (DATAP) is

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

channel CancelChan is
   (ref: Reference)
end channel

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

channel DepositChan is
   (prd: Product, amt: Amount)
end channel

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

channel InvoiceChan is
   (ref: Reference)
end channel

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

channel RequestChan is
   (ref: Reference, prd: Product, amt: Amount)
end channel

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

channel WithdrawChan is
   (prd: Product, amt: Amount)
end channel

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

end module