Functional maps with int keys.

Functional sets of integers.

Functional maps with string keys.

Functional sets of strings.

get_safe_prefix p strings returns a string starting with p and so that there is no non-negative integer k such that p ^ string_of_int k belongs to strings.

time f x times the application of f to x, and returns the evaluation time in seconds together with the result of the application.

Exception raised by the with_timeout function on a timeout.

with_timeout nbs f x computes f x with a timeout of nbs seconds. The exception Timeout is raised if the computation takes too long, otherwise everything goes the usual way.

input_lines ic reads the input channel ic line by line and returns its contents. The trailing newlines are removed in lines. The input channel is not closed by the function.

run_process cmd runs the command cmd and returns the list of the lines that it printed to its standard output (if the command was successful). If the command failed somehow, then None is returned.

file_time fname returns the modification time of file fname represented as a float. neg_infinity is returned if the file does not exist.

more_recent source target checks whether the target (produced from the source file) should be produced again. This is the case when source is more recent than target.

files f d returns all the filenames in d and its sub-directories recursively satisfying the function f, assuming that d is a directory.