Module excl 

Structs

Exclusive

Exclusive is a token that stores a tracked object of type T and ensures its exclusive ownership. No two Exclusive tokens can have the same id. The owned tracked object can be borrowed, updated, taken out and put back.

ExclusiveGhost

ExclusiveGhost is a token that always provides exclusive access to a ghost value of type T. No two ExclusiveGhost tokens can have the same id.

Type Aliases

UniqueToken