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