Skip to main content

pptr_usize_with

ostd::specs::mm::frame::meta_owners

Function pptr_usize_with 

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