comptime math

Cargo.toml

@@ -8,6 +8,8 @@ ansi_term = "0.12.1"
 clap = "4.5.14"
 itertools = "0.13.0"
 log = "0.4.22"
+num-bigint = "0.4.6"
+num-traits = "0.2.19"
 petgraph = "0.6.5"
 thiserror = "1.0.63"
 unicode-xid = "0.2.4"

src/ast.rs

@@ -230,6 +230,9 @@ impl IntegralType {
     pub fn u64_bitmask(self) -> u64 {
         (1u64 << self.bits) - 1
     }
+    pub fn u128_bitmask(self) -> u128 {
+        (1u128 << self.bits) - 1
+    }
 }
 
 #[derive(Debug, Clone, Eq, Hash)]