diff options
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/index.md | 2 | ||||
| -rw-r--r-- | docs/type_system/object.md | 8 | ||||
| -rw-r--r-- | docs/type_system/var.md | 2 |
3 files changed, 11 insertions, 1 deletions
diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 4116068..91c5c16 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -44,6 +44,8 @@ Denotes that a field that does not resolve to anything * #### [Union](./union.md) +* #### [Object](./object.md) + * #### [Shared](./shared.md) * #### [Error](./error.md) diff --git a/docs/type_system/object.md b/docs/type_system/object.md new file mode 100644 index 0000000..6a4ec75 --- /dev/null +++ b/docs/type_system/object.md @@ -0,0 +1,8 @@ +# Object + +--- + +A representation of a native object + +```text +Object[IDENTIFIER; INTERFACE_TABLE] diff --git a/docs/type_system/var.md b/docs/type_system/var.md index 6fe78c2..62a7331 100644 --- a/docs/type_system/var.md +++ b/docs/type_system/var.md @@ -7,5 +7,5 @@ A unique identifier ```text Var_class `alias Enum[.arg; .local; .loop; .match] -Var[Var_class; TYPE; Value[U64;...]] +Var[Var_class; TYPE; IDENTIFIER] ``` |