type body object definitions and garbage collection algoHEADmain

1 files changed, 8 insertions, 0 deletions

diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index 334c443..adaed4e 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -6,6 +6,14 @@
 Union[CONTAINER | TRANSIENT] Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
 ```
 
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr var_tree, var_list;
+} kpl_type_body_union;
+```
+
 # Alias
 
 ```text