mlirTranslateModuleToSMTLIB

mlir_sys

Function mlirTranslateModuleToSMTLIB 

Source 
pub unsafe extern "C" fn mlirTranslateModuleToSMTLIB(
    arg1: MlirModule,
    arg2: MlirStringCallback,
    userData: *mut c_void,
    inlineSingleUseValues: bool,
    indentLetBody: bool,
) -> MlirLogicalResult
Expand description

Emits SMTLIB for the specified module using the provided callback and user data