creusot-std-proc-0.10.0
- creusot-std-proc 0.10.0
- Permalink
- Docs.rs crate page
- LGPL-2.1-or-later
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- Lysxia
- Dependencies
- pearlite-syn ^0.10.0 normal optional
  proc-macro2 ^1.0 normal
  quote ^1.0 normal
  syn ^2.0 normal
  uuid ^1.12 normal optional
- Versions
- 0% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

bitwise_proof

creusot_std_proc0.10.0

creusot_std_proc

Attribute Macro bitwise_proof

#[bitwise_proof]