From 43b760058ae67f060fe89e6538d872fe982b3cb6 Mon Sep 17 00:00:00 2001 From: nodist Date: Sat, 9 May 2026 17:08:10 -0400 Subject: container types --- docs/type_system/lock.md | 9 +++++++++ 1 file changed, 9 insertions(+) create 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 new file mode 100644 index 0000000..0b82088 --- /dev/null +++ b/docs/type_system/lock.md @@ -0,0 +1,9 @@ +# Lock + +--- + +Prevents NAME from being modified while TYPE is accessed as a Ref + +```text +Lock[Name; Ref[TYPE]] +``` -- cgit v1.2.3