diff --git a/noir_stdlib/src/meta/typ.nr b/noir_stdlib/src/meta/typ.nr
index a2f48dbfa00..f85c3bf4362 100644
--- a/noir_stdlib/src/meta/typ.nr
+++ b/noir_stdlib/src/meta/typ.nr
@@ -94,7 +94,7 @@ impl Type {
     /// If this is a mutable reference type `&mut T`, returns the mutable type `T`.
     #[builtin(type_as_mutable_reference)]
     // docs:start:as_mutable_reference
-    comptime fn as_mutable_reference(self) -> Option<Type> {}
+    pub comptime fn as_mutable_reference(self) -> Option<Type> {}
     // docs:end:as_mutable_reference
 
     /// If this is a slice type, return the element type of the slice.
@@ -187,7 +187,7 @@ impl Type {
     /// Returns `true` if this type is the unit `()` type.
     #[builtin(type_is_unit)]
     // docs:start:is_unit
-    comptime fn is_unit(self) -> bool {}
+    pub comptime fn is_unit(self) -> bool {}
     // docs:end:is_unit
 }
 
diff --git a/noir_stdlib/src/meta/unresolved_type.nr b/noir_stdlib/src/meta/unresolved_type.nr
index 5c2e8803674..86059b943e3 100644
--- a/noir_stdlib/src/meta/unresolved_type.nr
+++ b/noir_stdlib/src/meta/unresolved_type.nr
@@ -6,19 +6,19 @@ impl UnresolvedType {
     /// If this is a mutable reference type `&mut T`, returns the mutable type `T`.
     #[builtin(unresolved_type_as_mutable_reference)]
     // docs:start:as_mutable_reference
-    comptime fn as_mutable_reference(self) -> Option<UnresolvedType> {}
+    pub comptime fn as_mutable_reference(self) -> Option<UnresolvedType> {}
     // docs:end:as_mutable_reference
 
     /// If this is a slice `&[T]`, returns the element type `T`.
     #[builtin(unresolved_type_as_slice)]
     // docs:start:as_slice
-    comptime fn as_slice(self) -> Option<UnresolvedType> {}
+    pub comptime fn as_slice(self) -> Option<UnresolvedType> {}
     // docs:end:as_slice
 
     /// Returns `true` if this type is `bool`.
     #[builtin(unresolved_type_is_bool)]
     // docs:start:is_bool
-    comptime fn is_bool(self) -> bool {}
+    pub comptime fn is_bool(self) -> bool {}
     // docs:end:is_bool
 
     /// Returns true if this type refers to the `Field` type.
@@ -30,6 +30,6 @@ impl UnresolvedType {
     /// Returns true if this type is the unit `()` type.
     #[builtin(unresolved_type_is_unit)]
     // docs:start:is_unit
-    comptime fn is_unit(self) -> bool {}
+    pub comptime fn is_unit(self) -> bool {}
     // docs:end:is_unit
 }