修改了表格的行高，以及数据过长的部分用省略号表示

Tcsm

2023-10-22 251cc3290959d2085aa3359d6f74d97db914d182

1
2
3
4
5
6
7
8
9
export function not(pred, thisArg) {
    function notPred() {
        return !(notPred.pred.apply(notPred.thisArg, arguments));
    }
    notPred.pred = pred;
    notPred.thisArg = thisArg;
    return notPred;
}
//# sourceMappingURL=not.js.map