[Lib] u8.rs, u64.rs: +min_value, max_value

diff --git a/src/lib/u64.rs b/src/lib/u64.rs
index 8082f7aef0d527805ca31c647bb53c8ccfc096fe..497b60acdbf093aa12af5cd2ed998d2faf3e27a3 100644 (file)
--- a/src/lib/u64.rs
+++ b/src/lib/u64.rs
@@ -1,3 +1,6 @@
+pure fn max_value() -> u64 { ret 18446744073709551615u64; }
+pure fn min_value() -> u64 { ret 0u64; }
+
 fn to_str(n: u64, radix: uint) -> str {
     assert (0u < radix && radix <= 16u);
 

diff --git a/src/lib/u8.rs b/src/lib/u8.rs
index 5dea03b0bdd19b9f396904b21df29eb143f11b60..d70cb8a4f83199a0da9300fcf060ab3bf8884ff0 100644 (file)
--- a/src/lib/u8.rs
+++ b/src/lib/u8.rs
@@ -1,4 +1,5 @@
-
+pure fn max_value() -> u8 { ret 255u8; }
+pure fn min_value() -> u8 { ret 0u8; }
 
 pure fn add(x: u8, y: u8) -> u8 { ret x + y; }