mlirTranslateOperationToSMTLIB

mlir_sys

Function mlirTranslateOperationToSMTLIB 

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