diff options
Diffstat (limited to 'docs/type_system/lock.md')
| -rw-r--r-- | docs/type_system/lock.md | 8 |
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 |