================ @@ -19,6 +19,7 @@ namespace mlir { namespace presburger { +namespace public_namespace_name::detail { ---------------- Superty wrote: Just `namespace detail` https://github.com/llvm/llvm-project/pull/76650