Docs.rs
creusot-contracts-dummy-0.4.0
creusot-contracts-dummy 0.4.0
Permalink
Docs.rs crate page
LGPL-2.1-or-later
Links
Homepage
crates.io
Source
Owners
xldenis
Lysxia
Dependencies
proc-macro2 ^1.0
normal
quote ^1.0
normal
syn ^2
normal
Versions
0%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Crate creusot_contracts_dummy
creusot_
contracts_
dummy
0.4.0
All Items
Crate Items
Macros
Attribute Macros
Derive Macros
Crate
creusot_
contracts_
dummy
Copy item path
Source
Macros
§
extern_
spec
ghost
pearlite
proof_
assert
snapshot
Attribute Macros
§
bitwise_
proof
ensures
invariant
law
logic
maintains
open
open_
inv_
result
predicate
pure
requires
terminates
trusted
variant
Derive Macros
§
Deep
Model
Resolve