From 6b7619da2fa9c970d15007fbcf012f7218275676 Mon Sep 17 00:00:00 2001 From: Myrddin Dundragon Date: Thu, 26 Feb 2026 13:15:56 -0500 Subject: [PATCH] Added back the natrual numbers. --- src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index 2d4eb80..8aeb6a8 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -14,7 +14,7 @@ mod bounded; -//mod natural; +mod natural; mod number; mod one; mod zero; @@ -22,7 +22,7 @@ mod zero; pub use self::bounded::Bounded; -//pub use self::natural::Natural; +pub use self::natural::Natural; pub use self::number::Number; pub use self::one::One; pub use self::zero::Zero;