diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
| commit | 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 (patch) | |
| tree | 03643ee752fb6df836d662df1ce099d547d708dd /docs/type_system/native.md | |
| parent | aebce1e48e81559ffe5f496af855a1140d8e0107 (diff) | |
specify type representation
Diffstat (limited to 'docs/type_system/native.md')
| -rw-r--r-- | docs/type_system/native.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/type_system/native.md b/docs/type_system/native.md index 64f0cc9..875314f 100644 --- a/docs/type_system/native.md +++ b/docs/type_system/native.md @@ -5,7 +5,7 @@ A representation of a native object ```text -Native[INTERFACE_TABLE_POINTER] +Native[[] INTERFACE_TABLE_POINTER] ``` ## Alias |
