Module csum
vstd_
extra
Module csum
Module Items
Enums
In vstd_
extra::
resource::
storage_
protocol
vstd_extra
::
resource
::
storage_protocol
Module
csum
Copy item path
Source
Expand description
Sum-type storage protocol.
Enums
ยง
CsumP
A sum-type protocol monoid that stores a tracked object of either type A or type B.