Module hybrid_product
vstd_
extra
Module hybrid_
product
Module Items
Structs
In vstd_
extra::
resource::
storage_
protocol
vstd_extra
::
resource
::
storage_protocol
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.