diff options
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) |