upd

Author: mattqual

src/overview/access-control.md

@@ -32,15 +32,23 @@ package com.company.runner.advanced {
 Namespaces additionally apply to record types.
 
 ```
-package com.company.products {
-    //
-    public namespace English;
-    public namespace Portuguese;
-
-    //
-    public type Product = {
-        English::name : String,
-        Portuguese::name : String,
+package com.business.product {
+    /**
+     * Flexible version control namespace.
+     */
+    public namespace Flexible = "http://business.com/product/flexible";
+
+    /**
+     * Judgement version control namespace.
+     */
+    public namespace Judgement = "http://business.com/product/judgement";
+
+    /**
+     * Pair.
+     */
+    public type Pair = {
+        Flexible::strength : [decimal],
+        Judgement::strength : [decimal],
     };
 }
 ```