pub unsafe extern "C" fn mlirSMTTypeIsAInt(type_: MlirType) -> bool
Checks if the given type is a smt::IntType.