[Mlir-commits] [mlir] [mlir] [presburger] Add IntegerRelation::rangeProduct (PR #148092)

[Arjun P]

https://github.com/Superty commented:

Thanks for the PR! Implementation looks good to me. I left some nitpick comments.

https://github.com/llvm/llvm-project/pull/148092