type body object definitions and garbage collection algoHEADmain

1 files changed, 10 insertions, 0 deletions

diff --git a/docs/type_system/value.md b/docs/type_system/value.md
index d2e23d1..19b150a 100644
--- a/docs/type_system/value.md
+++ b/docs/type_system/value.md
@@ -5,3 +5,13 @@
 ```text
 Value[[] TYPE; ID; KPL_CLASS]
 ```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr type;
+    int32_t id;
+    kpl_class *class;
+} kpl_type_body_value;
+```