Type Definition Guard
hazptr
type Guard = Guard<DefaultAccess>;
A guarded pointer that can be used to acquire hazard pointers.