docs/src/modules/examples: simplify

yunfachi · Sep 29, 2024 · cd9cebc · cd9cebc
1 parent 628bc04
commit cd9cebc
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/docs/src/modules/examples.md b/docs/src/modules/examples.md
@@ -5,12 +5,10 @@
 delib.module {
   name = "constants";
 
-  options = {
-    constants = with delib; {
-      username = readOnly (strOption "sjohn");
-      userfullname = readOnly (strOption "John Smith");
-      useremail = readOnly (strOption "[email protected]");
-    };
+  options.constants = with delib; {
+    username = readOnly (strOption "sjohn");
+    userfullname = readOnly (strOption "John Smith");
+    useremail = readOnly (strOption "[email protected]");
   };
 }
 ```