Module ghost_cell::ghost_cell

source · [−]
Expand description

GhostCell and GhostToken, as per https://plv.mpi-sws.org/rustbelt/ghostcell/.

Reference implementation at https://gitlab.mpi-sws.org/FP/ghostcell/-/tree/master/ghostcell.

Structs

GhostCell
Branded wrapper for a value, whose type is T.
GhostToken
A GhostToken<'x> is the key to access the content of any &GhostCell<'x, _> sharing the same brand.