type body object definitions and garbage collection algoHEADmain

1 files changed, 8 insertions, 0 deletions

diff --git a/docs/type_system/native.md b/docs/type_system/native.md
index 875314f..db34181 100644
--- a/docs/type_system/native.md
+++ b/docs/type_system/native.md
@@ -8,6 +8,14 @@ A representation of a native object
 Native[[] INTERFACE_TABLE_POINTER]
 ```
 
+## Type Body Object Definitions
+
+```c
+typdef struct {
+    kpl_interface *interface;
+} kpl_type_body_native;
+```
+
 ## Alias
 
 ```text