[Mlir-commits] [mlir] [mlir][SMT] add python bindings (PR #135674)

[Fehr Mathieu]

================
@@ -21,9 +21,13 @@ extern "C" {
 
 /// Emits SMTLIB for the specified module using the provided callback and user
 /// data
-MLIR_CAPI_EXPORTED MlirLogicalResult mlirExportSMTLIB(MlirModule,
-                                                      MlirStringCallback,
-                                                      void *userData);
+MLIR_CAPI_EXPORTED MlirLogicalResult
+mlirTranslateModuleSMTLIB(MlirModule, MlirStringCallback, void *userData,
----------------
math-fehr wrote:

```suggestion
mlirTranslateModuleToSMTLIB(MlirModule, MlirStringCallback, void *userData,
```
To stay consistent with `mlirTranslateOperationToSMTLIB`?

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