Skip to main content
Module drop_tracking
vstd_
extra
Module drop_
tracking
Module Items
Structs
Traits
In crate vstd_
extra
vstd_extra
Module
drop_
tracking
Copy item path
Source
Structs
§
Drop
Obligation
Manually
Drop
Traits
§
Drop
Track
Drop
A protocol for associating a value with a permission used by its verified drop implementation.