Improve the readability of the main page docs, w.r.t. the consts expo…

…rted
paholg · Nov 21, 2021 · 077aa83 · 077aa83
1 parent 7d3ee8f
commit 077aa83
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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;