type body object definitions and garbage collection algoHEADmain

1 files changed, 7 insertions, 0 deletions

diff --git a/docs/type_system/op.md b/docs/type_system/op.md
index 198d73f..79f0953 100644
--- a/docs/type_system/op.md
+++ b/docs/type_system/op.md
@@ -5,5 +5,12 @@
 ```text
 Op[[OP_NAME] RETURN_TYPE; LEFT_TYPE; RIGHT_TYPE]
 ```
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr return_type, statement_left, statement_right;
+} kpl_type_body_op;
+```
 
 The `OP_NAME` a single value