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.
- FAILURE CONDITIONS
-
Fails if the predicate fails on any element.
- SEE ALSO
-
mapfilter, partition, remove.