Changement de la structure des points fixes

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1731 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/util.ml b/lib/util.ml
index 44b5ef08fa..cd32737d2e 100644
--- a/lib/util.ml
+++ b/lib/util.ml
@@ -322,6 +322,14 @@ let array_last v =
 
 let array_cons e v = Array.append [|e|] v
 
+let array_fold_right_i f v a =
+  let rec fold a n =
+    if n=0 then a
+    else
+      let k = n-1 in
+      fold (f k v.(k) a) k in
+  fold a (Array.length v)
+
 let array_fold_left_i f v a =
   let n = Array.length a in
   let rec fold i v = if i = n then v else fold (succ i) (f i v a.(i)) in