summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/list2.ml
blob: 6ab8b78631204c178705a1f2e4e3b8b9acdb3656 (plain)
1
2
3
4
5
6
7
(* $Id$ *)

let exclude elt:x l = List.filter l pred:((<>) x)

let rec flat_map fun:f = function
    [] -> []
  | x :: l -> f x @ flat_map fun:f l