Module invariant
creusot_
contracts
0.4.0
Module invariant
Module Items
Traits
Functions
In crate creusot_
contracts
Modules
ghost
invariant
logic
macros
model
num_rational
pcell
peano
prelude
ptr_own
resolve
snapshot
std
util
well_founded
Macros
ord_laws_impl
vec
creusot_contracts
Module
invariant
Copy item path
Settings
Help
Summary
Source
Traits
§
Invariant
Functions
§
inv
logic(prophetic)
⚠