2018-11-22 16:41:46 +01:00
|
|
|
export function not(pred, thisArg) {
|
|
|
|
|
function notPred() {
|
|
|
|
|
return !(notPred.pred.apply(notPred.thisArg, arguments));
|
|
|
|
|
}
|
|
|
|
|
notPred.pred = pred;
|
|
|
|
|
notPred.thisArg = thisArg;
|
|
|
|
|
return notPred;
|
|
|
|
|
}
|
2019-06-04 14:29:48 +02:00
|
|
|
//# sourceMappingURL=not.js.map
|
