flux_refineck::checker

Function int_bit_width

Source 
fn int_bit_width(int_ty: IntTy) -> u64