Module nonnull 

Structs

ExNonNull

Traits

NonNullAdditionalFns

NonNullAdditionalFnsMore

Functions

_verus_external_fn_specification_10_NonNull_32__58__58__32_new__unchecked^⚠

_verus_external_fn_specification_11_core_32__58__58__32_ptr_32__58__58__32_NonNull_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

_verus_external_fn_specification_12_NonNull_32__58__58__32_as__ptr^⚠

_verus_external_fn_specification_13_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_14_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_new_spec

nonnull_view_ptr_mut_wrapper

nonnull_with_addr_spec_wrapper