Module nonnull 

Structs

ExNonNull

Traits

NonNullAdditionalFns

NonNullAdditionalFnsMore

Functions

_verus_external_fn_specification_5_NonNull_32__58__58__32_new__unchecked^⚠

_verus_external_fn_specification_6_NonNull_32__58__58__32_as__ptr^⚠

_verus_external_fn_specification_7_NonNull_32__58__58__32__60__32_T_32__62__32__58__58__32_cast_32__58__58__32__60__32_U_32__62_^⚠

_verus_external_fn_specification_8_NonNull_32__58__58__32_dangling^⚠

axiom_cast_spec_eq

axiom_nonnull_from_ptr_mut_spec_eq

axiom_view_ptr_mut_eq

group_nonull_axioms

nonnull_addr_spec_wrapper

nonnull_cast_spec_wrapper

nonnull_dangling_spec

nonnull_from_ptr_mut_spec

nonnull_view_ptr_mut_wrapper

nonnull_with_addr_spec_wrapper