Module non_null 

This module provides a trait and some auxiliary types to help abstract and work with non-null pointers.

Structs

ArcRef

A type that represents &'a Arc<T>.

BoxRef

A type that represents &'a Box<T>.

Traits

NonNullPtr

A trait that abstracts non-null pointers.

NonNullPtrRef

The trait for the associated Ref type of NonNullPtr, which is separated from the NonNullPtr trait. FIXME: This is a workaround for the lack of GAT with lifetime in Verus. We can merge this trait back to NonNullPtr once it is supported.