Next: Well-formedness -- Functions, Previous: Well-formedness -- Valued Actions and Calls, Up: Well-formedness [Contents][Index]
Not every port can be injected.