ADDR_WIDTH_SHIFT_SPEC

ostd::specs::arch::kspace

Function ADDR_WIDTH_SHIFT_SPEC 

Source 
pub open spec fn ADDR_WIDTH_SHIFT_SPEC() -> isize
Expand description
{ CONST_ADDR_WIDTH_SHIFT }

The specification of the constant ADDR_WIDTH_SHIFT.