[Lib] u32.rs: created

diff --git a/src/lib/std.rc b/src/lib/std.rc
index 94f59064609911a7045dbd49066211bd931a5043..2e65c7503a958543ec835d1aff372318bfb0ad3f 100644 (file)
--- a/src/lib/std.rc
+++ b/src/lib/std.rc
@@ -13,6 +13,7 @@ mod char;
 mod int;
 mod uint;
 mod u8;
+mod u32;
 mod u64;
 mod vec;
 mod str;

diff --git a/src/lib/u32.rs b/src/lib/u32.rs
new file mode 100644 (file)
index 0000000..de368ff
--- /dev/null
+++ b/src/lib/u32.rs
@@ -0,0 +1,13 @@
+pure fn max_value() -> u32 { ret 4294967296u32; }
+pure fn min_value() -> u32 { ret 0u32; }
+
+//
+// Local Variables:
+// mode: rust
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+//