prusto-macros-0.2.1
- prusto-macros 0.2.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- nooberfsh
- Dependencies
- proc-macro2 ^1.0 normal
  
  quote ^1.0 normal
  
  syn ^1.0 normal
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

prusto_macros0.2.1

All Items

Crate Items

Derive Macros

Crate prusto_macros

Derive Macros§

Presto