[Mlir-commits] [mlir] [MLIR][Presburger] Definitions for basic functions related to cones (PR #76650)

[Arjun P]

================

----------------
Superty wrote:

Rename in the same patch where you do the namespace detail thing

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