diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-05 16:48:04 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-05 16:48:04 -0400 |
| commit | 937c915ab2d19934786e352b1bc2d419ac235ce7 (patch) | |
| tree | 88521de93c16c5bc797eb830a82b28037fe60e86 /docs/type_system | |
| parent | 31e48da4034e13b7eb7bb49aab59b9c1bf0054a3 (diff) | |
split templates and alias
Diffstat (limited to 'docs/type_system')
| -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 |