(** PROFILING *)
-let profiling_enabled = ComponentsConf.profiling
+let profiling_enabled = false ;; (* ComponentsConf.profiling *)
let something_profiled = ref false
(** {2 List processing} *)
+let flatten_map f l =
+ List.flatten (List.map f l)
+;;
+
let rec list_uniq ?(eq=(=)) = function
| [] -> []
| h::[] -> [h]