docs: define random values in examples when they are used (#349)

0xPolygonMiden · Apr 22, 2024 · e73ee03 · e73ee03
1 parent 5427353
commit e73ee03
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/docs/src/description/constraints.md b/docs/src/description/constraints.md
@@ -199,6 +199,10 @@ periodic_columns {
     k: [1, 1, 1, 0]
 }
 
+random_values {
+    rand: [16]
+}
+
 boundary_constraints {
     <omitted for brevity>
 }
@@ -236,6 +240,10 @@ public_inputs {
     <omitted for brevity>
 }
 
+random_values {
+    rand: [16]
+}
+
 periodic_columns {
     k: [1, 1, 1, 0]
 }
@@ -250,4 +258,4 @@ integrity_constraints {
     let y = b + $rand[1]
     enf p1 = k * x * y
 }
-```
+```