Hide helper macro docs

cryspen · Jun 27, 2024 · 4b1d95a · 4b1d95a
1 parent 96ab20d
commit 4b1d95a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/libcrux-ml-kem/src/kem/kyber/helper.rs b/libcrux-ml-kem/src/kem/kyber/helper.rs
@@ -2,6 +2,7 @@
 /// can go through.
 
 #[cfg(not(hax))]
+#[doc(hidden)]
 #[macro_export]
 macro_rules! cloop {
     (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
@@ -37,6 +38,7 @@ macro_rules! cloop {
 }
 
 #[cfg(hax)]
+#[doc(hidden)]
 #[macro_export]
 macro_rules! cloop {
     (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {