13 #ifndef MLIR_C_EXPORTSMTLIB_H
14 #define MLIR_C_EXPORTSMTLIB_H
26 bool inlineSingleUseValues,
bool indentLetBody);
30 bool inlineSingleUseValues,
bool indentLetBody);
#define MLIR_CAPI_EXPORTED
void(* MlirStringCallback)(MlirStringRef, void *)
A callback for returning string references.
MLIR_CAPI_EXPORTED MlirLogicalResult mlirTranslateOperationToSMTLIB(MlirOperation, MlirStringCallback, void *userData, bool inlineSingleUseValues, bool indentLetBody)
MLIR_CAPI_EXPORTED MlirLogicalResult mlirTranslateModuleToSMTLIB(MlirModule, MlirStringCallback, void *userData, bool inlineSingleUseValues, bool indentLetBody)
Emits SMTLIB for the specified module using the provided callback and user data.
A logical result value, essentially a boolean with named states.