Skip to main content

pptr_usize_with

Function pptr_usize_with 

Source
pub uninterp fn pptr_usize_with(
    p: PointsTo<usize>,
    c: MemContents<usize>,
) -> PointsTo<usize>
Expand description