uint_bit_width
flux_
refineck
0.1.0
In flux_
refineck::
checker
flux_refineck
::
checker
Function
uint_
bit_
width
Copy item path
Source
fn uint_bit_width(uint_ty: UintTy) ->
u64