valid_uint

flux_refineck::primops

Function valid_uint 

Source 
fn valid_uint(e: impl Into<Expr>, uint_ty: UintTy) -> Expr