From 89418faafd87cbbf0b36bc8bf916904a170073f6 Mon Sep 17 00:00:00 2001 From: nodist Date: Fri, 12 Jun 2026 15:22:19 -0400 Subject: use gnu23 --- docs/type_system/lock.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/type_system/lock.md') diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md index 913a532..3b7d90a 100644 --- a/docs/type_system/lock.md +++ b/docs/type_system/lock.md @@ -2,8 +2,8 @@ --- -Prevent access to a parent while children are modifiable - ```text -Lock[[] Name[...]; TYPE] +Lock[[] TARGET] ``` + +Prevent access to `TARGET` until a mutation occurs -- cgit v1.2.3