Skip to main content
Module frac
vstd
Module frac
Module Items
Structs
Enums
Functions
In vstd::
resource
vstd
::
resource
Module
frac
Copy item path
Source
Structs
§
Frac
Ghost
An implementation of a resource for fractional ownership of a ghost variable.
Enums
§
FractionRA
Functions
§
lemma_
whole_
fraction_
has_
no_
frame