Structs§
- Exclusive
Ghost ExclusiveGhostis a token that always provides exclusive access to a ghost value of typeT. No twoExclusiveGhosttokens can have the same id.
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.