verus_syn 0.0.0-2026-09-06-0133

Parser for Rust source code extended to support Verus
Documentation 
1
2
3
4
5
6
7

macro_rules! errorf {
    ($($tt:tt)*) => {{
        use ::std::io::Write;
        let stderr = ::std::io::stderr();
        write!(stderr.lock(), $($tt)*).unwrap();
    }};
}