Function u8_ilog2_spec Copy item path

pub open spec fn u8_ilog2_spec(x: u8) -> u32

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