Module pcm

Structs

Resource

Interface for PCM / Resource Algebra ghost state.

Traits

PCM

See Resource for more information.

Functions

conjunct_shared

frame_preserving_update

frame_preserving_update_nondeterministic

incl

set_op

Type Aliases

Loc