let iter_include_dirs arch = let set = fold_info (fun i -> List.fold_right SS.add i.include_dirs) arch SS.empty in fun f -> SS.iter f set