flux_middle::rty

Function uint_invariants

Source 
fn uint_invariants(
    uint_ty: UintTy,
    overflow_checking: bool,
) -> &'static [Invariant]