vstd
Module proph
Module Items
Structs
In crate vstd
vstd
Module
proph
Copy item path
Source
Structs
§
Prophecy
A “prophecy variable” that predicts some value of type T.