# Types

* #### [Alias](./alias.md)

* #### [Unique](./unique.md)

---

# 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

A template by name only expands to all inner fields as `Any`

```text
Int -> Int[Any; Any; Any]
```

##### Is[TYPE; ...]

Denotes the type is one of the specified types in the list

##### Void

Denotes that a field that does not resolve to anything

## Value Templates

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

* #### [Bits](./bits.md)

## Container Templates

* #### [Tuple](./tuple.md)

* #### [Buffer](./buffer.md)

* #### [Map](./map.md)

* #### [Queue](./queue.md)

* #### [Union](./union.md)

* #### [Native](./native.md)

* #### [Shared](./shared.md)

* #### [Error](./error.md)

## Qualifier Templates

* #### [Const](./const.md)

* #### [Empty](./empty.md)

* #### [Lock](./lock.md)

* #### [Ref](./ref.md)

## Function Templates

* #### [Var](./var.md)

* #### [Fn](./fn.md)

* #### [Task](./task.md)

* #### [Overload](./overload.md)

## AST Templates

* #### [Value](./value.md)

* #### [Name](./name.md)

* #### [Symbol](./symbol.md)

* #### [Op](./op.md)

* #### [List](./list.md)

* #### [Namespace](./namespace.md)