Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
filter : ('a -> bool) -> 'a list -> 'a list
SYNOPSIS
Filters a list to the sublist of elements satisfying a predicate.
DESCRIPTION
filter p l applies p to every element of l, returning a list of those
that satisfy p, in the order they appeared in the original list.