dafny_runtime

Macro int

Source
macro_rules! int {
    ($x:expr) => { ... };
}