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