flux_refineck::checker

Function uint_bit_width

Source 
fn uint_bit_width(uint_ty: UintTy) -> u64