implemented transformations on top of notation code

[helm.git] / helm / ocaml / cic_notation / cicNotationUtil.ml

diff --git a/helm/ocaml/cic_notation/cicNotationUtil.ml b/helm/ocaml/cic_notation/cicNotationUtil.ml
index f2c2539cde31f20e5c4a8a7a2c6019b327e189fe..44b83fd1d6609e87bbc3df836f37d00d9a14c0e4 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationUtil.ml
+++ b/helm/ocaml/cic_notation/cicNotationUtil.ml
@@ -336,7 +336,7 @@ let ungroup =
   in
     aux []
 
-let dress sauce =
+let dress ~sep:sauce =
   let rec aux =
     function
       | [] -> []
@@ -345,6 +345,15 @@ let dress sauce =
   in
     aux
 
+let dressn ~sep:sauces =
+  let rec aux =
+    function
+      | [] -> []
+      | [hd] -> [hd]
+      | hd :: tl -> hd :: sauces @ aux tl
+  in
+    aux
+
 let find_appl_pattern_uris ap =
   let rec aux acc =
     function