From 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 10 Jun 2026 13:34:38 -0400 Subject: specify type representation --- docs/type_system/lock.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/type_system/lock.md') diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md index b3227ca..913a532 100644 --- a/docs/type_system/lock.md +++ b/docs/type_system/lock.md @@ -5,5 +5,5 @@ Prevent access to a parent while children are modifiable ```text -Lock[Name[...]; TYPE] +Lock[[] Name[...]; TYPE] ``` -- cgit v1.2.3