Ben.CoreUtility functions and modules.
This module contains handy functions (or modules) not specific to Ben.
module StringSet : sig ... endmodule StringMap : sig ... endmodule IntMap : sig ... endRun the function on the in_channel, taking care of exceptions.
Run the function on the given file, taking care of exceptions.
Run the function on the given file, taking care of exceptions .
Quote a string for use with shell. For example, "a" is quoted into "'a'".
Same as List.rev_map, but calls the function with the index of the current element.