RustDocs Hub Browse third-party crates
THIRD-PARTY CRATE

verus_syn

Parser for Rust source code extended to support Verus

Current version0.0.0-2026-05-31-0205
LicenseMIT OR Apache-2.0
Total downloads151,242
Last updated2026-05-31
Repositoryhttps://github.com/dtolnay/syn
Documentationhttps://docs.rs/syn

Categories

Development tools::Procedural macro helpersParser implementations

Keywords

macrossyn

View verus_syn on crates.io →

RustDocs Hub renders this crate’s structured metadata only (name, description, downloads, version, license string, links, categories, keywords) per crates.io’s Data Access Policy. It does not re-host this crate’s README or source code — view the full README and source on crates.io or the repository link above.

Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.