Any 'Deleted' state can't be modified directly, and must be changed through it's parent node(the root node is never set to a deleted state). Below ar

* HazardList generates and manages protected pointers to type * Hp<T> that ensure that any data pointed to by Hp<T> that is being * read has it's de

* A pointer that needs to be protected in order to read/write */

Inbound == 0: HpInner is marked for deletion. Outbound == 0: HpInner is deleted.

* # Purpose * Used as a global list of currently protected pointers * of a given type T in HazardList<T>. */

* Guarantees that what it points to will not be deleted or modified. */

* Internal state that defines all vars * needed to traverse the HAMT. */