Function usize_ilog2_spec Copy item path

pub open spec fn usize_ilog2_spec(x: usize) -> u32

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