Skip to main content

Module ghost_var

vstd::resource

Module ghost_var 

Source

Structs§

GhostVar
See GhostVarAuth<T> for more information.
GhostVarAuth
GhostVarAuth<T> is one half of a pair of tokens—the other being GhostVar<T>. These tokens each track a value, and they can only be allocated or updated together. Thus, the pair of tokens always agree on the value, but they can be owned separately.