Function _verus_external_fn_specification_10_core_32__58__58__32_ptr_32__58__58__32_null 

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

ensures

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

Specification for core::ptr::null