vstd

Module pcm

Source

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