new kernel basic_ag (with absolute local references)

[helm.git] / helm / software / lambda-delta / lib / cps.ml

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index c235197d960db9ab46bc508316f893e28e3d4703..9fc5dc9b22285d1f62a08090b845fe1b4e7b110d 100644 (file)
--- 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