Template Sets

Template sets are a way to declare templates that are always instantiated into a set of processes. The syntax is defined by the grammar for TemplateDecl:

TemplateDecl ::= 'process' ID ('[' ID ':' Type ']')*
                  '(' Parameters ') '{' Template '}'

The Type non-terminal is described in the section on types and the Parameters non-terminal is described in the section on template parameters.