X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;h=9fc5dc9b22285d1f62a08090b845fe1b4e7b110d;hb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;hp=c235197d960db9ab46bc508316f893e28e3d4703;hpb=f3b4d265268a43ca98e6843b733109fdfe3f6b0b;p=helm.git

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index c235197d9..9fc5dc9b2 100644
--- a/helm/software/lambda-delta/lib/cps.ml
+++ b/helm/software/lambda-delta/lib/cps.ml
@@ -46,6 +46,13 @@ let list_rev_map =
 let list_rev =
    list_rev_append ~tail:[]
 
+let list_fold_right f map l a =
+   let map f a m = map f m a in
+   list_rev (list_fold_left f map a) l
+
 let list_map f =
    list_rev_map (list_rev f)
    
+let list_iter f map l =
+   let map f () x = map f x in
+   list_fold_left f map () l