Module vstd::pcm

Structs

• Resource
  Interface for ghost state that is consistent with the common presentations of partially commutative monoids (PCMs) / resource algebras.

Traits

• PCM
  See Resource for more information.

Functions

• conjunct_shared
• frame_preserving_update
• frame_preserving_update_nondeterministic
• incl
• set_op

Type Aliases

• Loc