Function u16_ilog2_spec Copy item path

pub open spec fn u16_ilog2_spec(x: u16) -> u32

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