Merge pull request #1354 from cryspen/missing-int-macro

fix(hax-lib/dummy): intro `int!`

Author: W95Psp

hax-lib/src/dummy.rs

@@ -61,6 +61,13 @@ pub trait RefineAs<RefinedType> {
 pub mod int {
     use core::ops::*;
 
+    #[macro_export]
+    macro_rules! int {
+        ($lit:expr) => {
+            Int($lit)
+        };
+    }
+
     #[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd)]
     pub struct Int(pub u8);