Function u32_ilog2_spec Copy item path

pub open spec fn u32_ilog2_spec(x: u32) -> u32

{ log(2, x as int) as u32 }