valid_int

Function valid_int 

Source
fn valid_int(e: impl Into<Expr>, int_ty: IntTy) -> Expr