(* 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
+ f (List.fold_left set_sort i ss)
let get_sort err f h =
try f (H.find sort h) with Not_found -> err ()