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

How this data is computed. Back to prusti-contracts.