Type Alias Once 

pub type Once<V, I, F> = OnceImpl<AtomicDataWithOwner<V, I>, F>;

A Once that combines some data with a permission to access it.

This type alias automatically lifts the target value V into a wrapper AtomicDataWithOwner<V, I> where I relates the value to its tracked resource so that we can reason about non-trivial runtime properties in verification.

Aliased Type

pub struct Once<V, I, F> { /* private fields */ }