1 \chapter{Generic Operating System Services
}
3 The modules described in this chapter provide interfaces to operating
4 system features that are available on (almost) all operating systems,
5 such as files and a clock. The interfaces are generally modelled
6 after the
\UNIX{} or C interfaces but they are available on most other
7 systems as well. Here's an overview:
12 --- Miscellaneous OS interfaces.
15 --- Time access and conversions.
18 --- Parser for command line options.
21 --- Generate temporary file names.