[QST] SymInt support arithmetic operation? #2913
Description
TVM FFI functions will validate shape of tensors by SymInt, such as dim equality. But how can we check dim1 = dim0 + 1 or dim1 % dim0 == 0 ? Maybe SymInt need to support arithmetic operation?