pub unsafe extern "C" fn mlirSMTTypeIsAnySMTValueType( type_: MlirType, ) -> bool
Checks if the given type is any SMT value type.