tmp

Pi-Squared-Inc · Oct 18, 2024 · dc27fa6 · dc27fa6
1 parent d4965d6
commit dc27fa6
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/rust-semantics/helpers.md b/rust-semantics/helpers.md
@@ -45,9 +45,6 @@ module RUST-HELPERS
     rule isSignedInt(i16) => true
     rule isSignedInt(i32) => true
     rule isSignedInt(i64) => true
-    rule isSignedInt(i128) => true
-    rule isSignedInt(i160) => true
-    rule isSignedInt(i256) => true
     rule isSignedInt(&T => T)
 
     rule concatNonEmptyStatements(.NonEmptyStatements, S:NonEmptyStatements) => S