some interfaces improved

[helm.git] / helm / software / lambda-delta / common / hierarchy.ml

diff --git a/helm/software/lambda-delta/common/hierarchy.ml b/helm/software/lambda-delta/common/hierarchy.ml
index 375390bdca10aec79410cef305c2345c2a6735e2..f8a58dc0f37bf180d4ec6c07eeb74e0ad743f910 100644 (file)
--- a/helm/software/lambda-delta/common/hierarchy.ml
+++ b/helm/software/lambda-delta/common/hierarchy.ml
@@ -20,20 +20,20 @@ let sort = H.create sorts
 
 (* Internal functions *******************************************************)
 
-let set_sort f (h:int) (s:string) =
-   H.add sort h s; f (succ h)
+let set_sort h s =
+   H.add sort h s; succ h
 
 (* Interface functions ******************************************************)
 
-let set_sorts f ss i =   
-   C.list_fold_left f set_sort i ss
+let set_sorts ss i =   
+   List.fold_left set_sort i ss
 
 let get_sort err f h =
    try f (H.find sort h) with Not_found -> err ()
 
-let string_of_graph f (s, _) = f s
+let string_of_graph (s, _) = s
 
-let apply f (_, g) h = f (g h)
+let apply (_, g) h = (g h)
 
 let graph_of_string err f s =
    try