zhangjian
2023-06-05 3bc7faf3efd9d73cfa1726a553833872881dba3f
1
2
3
4
5
6
7
8
export function not(pred: Function, thisArg: any): Function {
  function notPred(): any {
    return !((<any> notPred).pred.apply((<any> notPred).thisArg, arguments));
  }
  (<any> notPred).pred = pred;
  (<any> notPred).thisArg = thisArg;
  return notPred;
}