Function mlirSMTIntTypeGetName 

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