diff --git a/src/lib.rs b/src/lib.rs
index aaf01fbf3..f749b4448 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -95,7 +95,6 @@ pub mod array;
 
 pub use crate::{
     array::{ATerm, TArr},
-    consts::*,
     generated::consts,
     int::{NInt, PInt},
     marker_traits::*,
@@ -104,6 +103,14 @@ pub use crate::{
     uint::{UInt, UTerm},
 };
 
+#[doc(no_inline)]
+#[rustfmt::skip]
+pub use consts::{
+    False, True, B0, B1,
+    U0, U1, U2, *,
+    N1, N2, Z0, P1, P2, *,
+};
+
 #[cfg(feature = "const-generics")]
 pub use crate::generated::generic_const_mappings;