2018-01-09 15:36:42 +01:00

2 lines
87 B
JavaScript

declare function my_filter<T, P: $Pred<1>>(v: Array<T>, cb: P): Array<$Refine<T,P,1>>;