Module pcell

Shared mutation with a ghost token

This allows a form of interior mutability, using ghost code to keep track of the logical value.

Structs

Id

The id of a PCell.

PCell

A “permission” cell allowing interior mutability via a ghost token.

PCellOwn

Token that represents the ownership of a PCell object.