Module frac 

Fractional ownership. This module defines the real-based fractional permissions storage protocol.

• FracP defines the basic fractional protocol monoid.
• FracStorage define the actual storage resource that can be split into arbitrary finite pieces for shared read access, it can be seen as a real-based re-implemetation of Frac(https://verus-lang.github.io/verus/verusdoc/vstd/tokens/frac/struct.FracGhost.html).

Structs

FracStorage

The authoritative fractional storage resource.

Enums

FracP

The fractional protocol monoid