Templates and functions are parameterised. The syntax for parameters is defined by the grammar for Parameters:
Parameters ::= [ Parameter (',' Parameter)* ]
Parameter ::= [Type] [ '&' ] [ID] [ArrayDecl]*
In contrast to global and local declarations, the parameter list should not be terminated by a semicolon.
Parameters can be declared to have either call-by-value or call-by-reference semantics. The syntax is taken from C++, where the identifier of a call-by-reference parameter is prefixed with an ampersand in the parameter declaration. Call-by-value parameters are not prefixed with an ampersand.
Clocks and channels must always be reference parameters.
Note: Array parameters must be prefixed with an ampersand to be passed by reference, this does not follow the C semantics.