Module ptr 

Structs

ExNonNull

Functions

_verus_external_fn_specification_742_NonNull_32__58__58__32__60__32_T_32__62__32__58__58__32_as__ptr^⚠

_verus_external_fn_specification_743_NonNull_32__58__58__32__60__32_T_32__62__32__58__58__32_new__unchecked^⚠

_verus_external_fn_specification_744_NonNull_32__58__58__32__60__32_T_32__62__32__58__58__32_new^⚠

axiom_nonnull_addr_nonzero

spec_nonnull_as_ptr