type body object definitions and garbage collection algoHEADmain

1 files changed, 8 insertions, 0 deletions

diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md
index 3b7d90a..d03dbfa 100644
--- a/docs/type_system/lock.md
+++ b/docs/type_system/lock.md
@@ -6,4 +6,12 @@
 Lock[[] TARGET]
 ```
 
+## Type Body Object Definitions
+
+```c
+typedef struct {
+    kpl_ptr target;
+} kpl_type_body_lock;
+```
+
 Prevent access to `TARGET` until a mutation occurs