Function extern_spec_T_NonZero_T_get 

pub fn extern_spec_T_NonZero_T_get<T: ZeroablePrimitive>(self_: NonZero<T>) -> T

extern spec for NonZero<T>::get

This is not a real function: its only use is for documentation.

ensures

self

ghost