处理连接失败异常

zhangjian

2023-08-19 3940ebf3e39da287974c4f49474e668d33fed2df

1
2
3
4
5
6
7
8
9
/** PURE_IMPORTS_START _reduce PURE_IMPORTS_END */
import { reduce } from './reduce';
export function min(comparer) {
    var min = (typeof comparer === 'function')
        ? function (x, y) { return comparer(x, y) < 0 ? x : y; }
        : function (x, y) { return x < y ? x : y; };
    return reduce(min);
}
//# sourceMappingURL=min.js.map