Module miri::borrow_tracker::tree_borrows::perms

Modules

• transition 🔒
  This module controls how each permission individually reacts to an access. Although these functions take protected as an argument, this is NOT because we check protector violations here, but because some permissions behave differently when protected.

Structs

• Permission
  Public interface to the state machine that controls read-write permissions.

Enums

• PermissionPriv 🔒
  The activation states of a pointer