type body object definitions and garbage collection algoHEADmain

1 files changed, 9 insertions, 1 deletions

diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md
index fc60602..bc083e2 100644
--- a/docs/type_system/overload.md
+++ b/docs/type_system/overload.md
@@ -5,7 +5,15 @@
 List of complete functions, selected by signature
 
 ```text
-Overload[[] Collection[VAR_TREE_LIST; Function[]]]
+Overload[[] Collection[VAR_LIST; Function[]]]
+```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr var_list;
+} kpl_type_body_overload;
 ```
 
 ## Example