Module storage_protocol
vstd_
extra
Module storage_
protocol
Module Items
Modules
In vstd_
extra::
resource
vstd_extra
::
resource
Module
storage_
protocol
Copy item path
Source
Modules
ยง
csum
Sum-type storage protocol.
excl
Exclusive storage protocol resource algebra.
frac
Real-based fractional permissions storage protocol.
hybrid_
product
Product of a PCM and a storage-protocol resource algebra.