Skip to main content
Module resource_invariant
vstd_
extra
Module resource_
invariant
Module Items
Structs
Traits
In crate vstd_
extra
vstd_extra
Module
resource_
invariant
Copy item path
Source
Structs
§
Trivial
Resource
Invariant
A resource invariant that imposes no condition on the value.
Traits
§
Resource
Invariant
An invariant that relates a value to a tracked resource.