summaryrefslogtreecommitdiff
path: root/docs/type_system/index.md
blob: c0c2647a2cbc7dc55d1188aeebc5a5119ec6fe31 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
# Templates

---

A template is an incomplete type

```text
Template[Field; ...]
```

If a field in a template is not filed, one of these are required:

##### Any

Denotes a field in a template that has not resolved

##### Void

Denotes that a field that does not resolve to anything

## Value Templates

* #### [Enum](./enum.md)
* #### [Int](./int.md)
* #### [Float](./float.md)

## Container Templates

## AST Templates