1 files changed, 9 insertions, 0 deletions
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]]
+```