diff --git a/docs/docs/language_concepts/01_functions.md b/docs/docs/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/docs/language_concepts/01_functions.md
+++ b/docs/docs/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/docs/language_concepts/07_mutability.md b/docs/docs/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/docs/language_concepts/07_mutability.md
+++ b/docs/docs/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.10.5/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.10.5/language_concepts/01_functions.md
index 7cb43c4c5f2..069d86c46d0 100644
--- a/docs/versioned_docs/version-v0.10.5/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.10.5/language_concepts/01_functions.md
@@ -18,7 +18,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -26,7 +26,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.10.5/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.10.5/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.10.5/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.10.5/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.17.0/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.17.0/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.17.0/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.17.0/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.17.0/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.17.0/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.17.0/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.17.0/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.19.0/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.19.0/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.19.0/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.19.0/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.19.0/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.19.0/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.19.0/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.19.0/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.19.1/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.19.1/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.19.1/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.19.1/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.19.1/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.19.1/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.19.1/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.19.1/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.19.2/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.19.2/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.19.2/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.19.2/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.19.2/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.19.2/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.19.2/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.19.2/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.19.3/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.19.3/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.19.3/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.19.3/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.19.3/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.19.3/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.19.3/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.19.3/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.19.4/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.19.4/language_concepts/01_functions.md
index 47cdea0cf04..5eb22170e54 100644
--- a/docs/versioned_docs/version-v0.19.4/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.19.4/language_concepts/01_functions.md
@@ -30,7 +30,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -38,7 +38,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.19.4/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.19.4/language_concepts/07_mutability.md
index 4641521b1d9..ad902c42c9b 100644
--- a/docs/versioned_docs/version-v0.19.4/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.19.4/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.6.0/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.6.0/language_concepts/01_functions.md
index c4bc0545a1c..171b7d3dbda 100644
--- a/docs/versioned_docs/version-v0.6.0/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.6.0/language_concepts/01_functions.md
@@ -18,7 +18,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -26,7 +26,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.6.0/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.6.0/language_concepts/07_mutability.md
index c8ccb4f8b9f..a7240a54e5c 100644
--- a/docs/versioned_docs/version-v0.6.0/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.6.0/language_concepts/07_mutability.md
@@ -39,7 +39,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.7.1/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.7.1/language_concepts/01_functions.md
index 54c618599d2..8fd63293c13 100644
--- a/docs/versioned_docs/version-v0.7.1/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.7.1/language_concepts/01_functions.md
@@ -18,7 +18,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -26,7 +26,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.7.1/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.7.1/language_concepts/07_mutability.md
index 5631a322659..90a1f3379a2 100644
--- a/docs/versioned_docs/version-v0.7.1/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.7.1/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3
diff --git a/docs/versioned_docs/version-v0.9.0/language_concepts/01_functions.md b/docs/versioned_docs/version-v0.9.0/language_concepts/01_functions.md
index 54c618599d2..8fd63293c13 100644
--- a/docs/versioned_docs/version-v0.9.0/language_concepts/01_functions.md
+++ b/docs/versioned_docs/version-v0.9.0/language_concepts/01_functions.md
@@ -18,7 +18,7 @@ All parameters in a function must have a type and all types are known at compile
 is pre-pended with a colon and the parameter type. Multiple parameters are separated using a comma.
 
 ```rust
-fn foo(x : Field, y : pub Field){}
+fn foo(x : Field, y : Field){}
 ```
 
 The return type of a function can be stated by using the `->` arrow notation. The function below
@@ -26,7 +26,7 @@ states that the foo function must return a `Field`. If the function returns no v
 is omitted.
 
 ```rust
-fn foo(x : Field, y : pub Field) -> Field {
+fn foo(x : Field, y : Field) -> Field {
     x + y
 }
 ```
diff --git a/docs/versioned_docs/version-v0.9.0/language_concepts/07_mutability.md b/docs/versioned_docs/version-v0.9.0/language_concepts/07_mutability.md
index 69798c7a276..a9c93e61167 100644
--- a/docs/versioned_docs/version-v0.9.0/language_concepts/07_mutability.md
+++ b/docs/versioned_docs/version-v0.9.0/language_concepts/07_mutability.md
@@ -37,7 +37,7 @@ Note that mutability in noir is local and everything is passed by value, so if a
 mutates its parameters then the parent function will keep the old value of the parameters.
 
 ```rust
-fn main() -> Field {
+fn main() -> pub Field {
     let x = 3;
     helper(x);
     x // x is still 3