Template Type Parameters - The HAC Language
Description: The HAC Language

Next: Template Template Parameters, Previous: Template Type Equivalence, Up: Templates

### 9.5 Type Parameters

TODO: This section is in consideration for future extension.

Up to this point, the template parameters covered are valued parameters. We now introduce type parameters.

Some examples:

- `template <datatype D> defproc ...`
- `template <chan C> defproc ...`
- `template <proc P> defproc ...`