Next: Other Semantic Issues Up: Call Arrows and Previous: Call Arrows
A channel is an arrow connecting an argument port with another port.
