filter : ('a -> bool) -> 'a list -> 'a list)
Filters a list to the sublist of elements satisfying a predicate.
Identical to gather.