From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 27 Jul 2026 17:17:56 -0400 Subject: bottom up redesign --- docs/type_system/lock.md | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 docs/type_system/lock.md (limited to 'docs/type_system/lock.md') diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md deleted file mode 100644 index 151c1aa..0000000 --- a/docs/type_system/lock.md +++ /dev/null @@ -1,17 +0,0 @@ -# Lock - ---- - -```text -Lock[[] TARGET] -``` - -## Type Body Object Definitions - -```c -typedef struct { - kpl_type *target; -} kpl_type_body_lock; -``` - -Prevent access to `TARGET` until a mutation occurs -- cgit v1.2.3