From cf9285b1dbdf687630076149413f16e5d4af82e8 Mon Sep 17 00:00:00 2001
From: nodist <kevin.comas.git@gmail.com>
Date: Sun, 28 Jun 2026 13:41:22 -0400
Subject: type body object definitions and garbage collection algo

---
 docs/type_system/lock.md | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'docs/type_system/lock.md')

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
-- 
cgit v1.2.3