Module hybrid_product
vstd_
extra
Module hybrid_
product
Module Items
Structs
In vstd_
extra::
resource::
storage
vstd_extra
::
resource
::
storage
Module
hybrid_
product
Copy item path
Source
Expand description
Product of a PCM and a storage-protocol resource algebra.
Structs
ยง
Hybrid
Product
The hybrid product of a PCM and a storage-protocol resource algebra.