verus_syn 0.0.0-2026-09-06-0133

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

#[cfg(feature = "parsing")]
pub(crate) mod lookahead {
    pub trait Sealed: Copy {}
}