-let intersect l1 l2 =
- let set1 = List.fold_right Constr.StringSet.add l1 Constr.StringSet.empty in
- let set2 = List.fold_right Constr.StringSet.add l2 Constr.StringSet.empty in
- Constr.StringSet.elements (Constr.StringSet.inter set1 set2)
+let intersect uris siguris =
+ let set1 = List.fold_right Constr.StringSet.add uris Constr.StringSet.empty in
+ let set2 =
+ List.fold_right Constr.StringSet.add siguris Constr.StringSet.empty
+ in
+ let inter = Constr.StringSet.inter set1 set2 in
+ List.filter (fun s -> Constr.StringSet.mem s inter) uris