Function vstd::raw_ptr::axiom_ptr_mut_from_data
source · pub broadcast proof fn axiom_ptr_mut_from_data<T>(data: PtrData)Expand description
ensures
(#[trigger] ptr_mut_from_data::<T>(data))@ == data,