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