Lib
.rs
›
prusti-contracts
› Reverse dependencies
prusti-contracts
is used at run time in
1
crate.
Depender
prusti-contracts version
prusti-std
^0.2.0