vstd
In vstd::
raw_
ptr
Structs
Dealloc
DeallocData
IsExposed
PointsTo
PointsToData
PointsToRaw
Provenance
PtrData
SharedReference
Enums
MemContents
Functions
_verus_external_fn_specification_3_core_32__58__58__32_ptr_32__58__58__32_null
_verus_external_fn_specification_4_core_32__58__58__32_ptr_32__58__58__32_null__mut
allocate
axiom_ptr_mut_from_data
cast_array_ptr_to_slice_ptr
cast_ptr_to_thin_ptr
cast_ptr_to_usize
deallocate
expose_provenance
group_raw_ptr_axioms
ptr_from_data
ptr_mut_from_data
ptr_mut_read
ptr_mut_write
ptr_null
ptr_null_mut
ptr_ref
ptr_ref2
ptrs_mut_eq
ptrs_mut_eq_sized
spec_cast_array_ptr_to_slice_ptr
spec_cast_ptr_to_thin_ptr
spec_cast_ptr_to_usize
with_exposed_provenance
Type Aliases
Metadata
vstd
::
raw_ptr
Function
group_raw_ptr_axioms
Copy item path
Settings
Help
Summary
Source
pub
broadcast group
fn group_raw_ptr_axioms()
Expand description
broadcast group