Function _verus_external_fn_specification_11_core_32__58__58__32_ptr_32__58__58__32_null__mut 

pub unsafe exec fn _verus_external_fn_specification_11_core_32__58__58__32_ptr_32__58__58__32_null__mut<T: PointeeSized + Pointee<Metadata = ()>>() -> res : *mut T

ensures

res == ptr_null_mut::<T>(),

Specification for core::ptr::null_mut