summaryrefslogtreecommitdiff
path: root/docs/type_system/index.md
blob: 3b67475a4ad63ff89c00e92190680a5d14ea40d2 (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
30
31
32
33
# Type System

---

# Templates

A template is an incomplete type

## Template Fields

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

## Defined Templates

* #### [Enum](./enum.md)

# Alias

A type based on a complete template that is interchangeable with what it is based on

## Defined Alias

# Unique

A type based on a complete template that is not interchangeable with what it is based on