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.