creusot_contracts
0.3.0
Module invariant
Traits
Functions
In crate creusot_contracts
Module
creusot_contracts
::
invariant
Copy item path
source
·
[
−
]
Traits
§
Invariant
Functions
§
inv
logic(prophetic)
⚠