Function mlirSMTBoolTypeGetName 

pub unsafe extern "C" fn mlirSMTBoolTypeGetName() -> MlirStringRef