diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-08 11:38:20 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-08 11:38:20 -0400 |
| commit | fd774948e6ac3506c24e6b87b6ef98403aa85951 (patch) | |
| tree | 8335f5d44694e357a08715c75d05de3964ba2434 /docs/type_system/index.md | |
| parent | ceb874e83d44a2c3d7c7d167fc8853694538ae53 (diff) | |
add action and remove assigment from namespace
Diffstat (limited to 'docs/type_system/index.md')
| -rw-r--r-- | docs/type_system/index.md | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 59cf118..bf5870a 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -16,7 +16,7 @@ Template[Field; ...] If a field in a template is not filed, one of these are required: -##### Any +### Any Denotes a field in a template that has not resolved @@ -26,11 +26,15 @@ A template by name only expands to all inner fields as `Any` Int -> Int[Any; Any; Any] ``` -##### Is[TYPE; ...] +### Is[TYPE; ...] Denotes the type is one of the specified types in the list -##### Void +### Generic.SYMBOL + +Generic for alias and unique types, type is replaced with type passed + +### Void Denotes that a field that does not resolve to anything @@ -90,4 +94,6 @@ Denotes that a field that does not resolve to anything * #### [List](./list.md) +* #### [Action](./action.md) + * #### [Namespace](./namespace.md) |