diff options
Diffstat (limited to 'docs/type_system/index.md')
| -rw-r--r-- | docs/type_system/index.md | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 3b67475..430792b 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -1,12 +1,12 @@ -# Type System +# Templates --- -# Templates - A template is an incomplete type -## Template Fields +```text +Template[Field; ...] +``` If a field in a template is not filed, one of these are required: @@ -18,16 +18,10 @@ Denotes a field in a template that has not resolved Denotes that a field that does not resolve to anything -## Defined Templates +## Value Templates * #### [Enum](./enum.md) -# Alias - -A type based on a complete template that is interchangeable with what it is based on - -## Defined Alias - -# Unique +## Container Templates -A type based on a complete template that is not interchangeable with what it is based on +## AST Templates |