type body object definitions and garbage collection algoHEADmain

1 files changed, 9 insertions, 1 deletions

diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index e2e2c4c..af17b74 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -11,7 +11,15 @@ STATEFUL : TASK | ITERATOR | CLOSURE | BOUND | REGEX
 
 FLAGS : INVOCATION | STATELESS | STATEFUL
 
-Function[[FLAGS]; STATE; List; RETURN_TYPE; Collection[VAR_TREE_LIST; TYPE.SYMBOL]]
+Function[[FLAGS]; Body; RETURN_TYPE; Collection[VAR_LIST; TYPE.SYMBOL]]
+```
+
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr body, return_type, var_list;
+} kpl_type_body_function;
 ```
 
 # Alias