| [TOC](Readme.md) [Prev](lists.md) [Next](instances.md) |
| _Types ~~and~~ are Values_ |
| <!-- jba: this is not in the spec, aside from the TemplateLabel grammar rule. --> |
| One of CUE's most powerful features is templates. |
| A template defines a value to be unified with each field of a struct. |
| The template's identifier (in angular brackets) is bound to name of each |
| of its sibling fields and is visible within the template value |
| that is unified with each of the siblings. |
| // The following struct is unified with all elements in job. |
| // The name of each element is bound to Name and visible in the struct. |
| `$ cue eval templates.cue` |