Codel declaration

(34) codel ::=

identifier "(" codel-parameters ")"

(35) fsm-codel ::=

"<" event-list ">" identifier "(" codel-parameters ")" "yields" event-list

(38) codel-parameters ::=

[ { codel-parameter "," } codel-parameter ]

(36) opt-async ::=

[ "async" ]

(41) opt-parameter-src ::=

[ "ids"
| "local"
| "port"
| "remote" ]

(42) parameter-dir ::=

"in"
| "out"
| "inout"

(43) parameter-variable ::=

identifier
| parameter-variable "." identifier
| parameter-variable "[" positive-int-const "]"

(37) event-list ::=

{ scoped-name "," } scoped-name