(* Interface functions ******************************************************)
-let set_sorts f ss i =
- f (List.fold_left 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