Module snapshot
creusot_
contracts
0.4.0
Module snapshot
Module Items
Structs
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
snapshot
Copy item path
Settings
Help
Summary
Source
Expand description
Definition of
Snapshot
Structs
§
Snapshot
A copyable snapshot, usable in pearlite.