(* Root directory for a directory hierarchy corresponding to domain structure,
* where each node contains Domtool-generated result files for that domain. *)
+val tmpDir : string
+(* Filesystem location for creating temporary directories *)
+
+(* Paths to standard UNIX utilities *)
+val cp : string
+val diff : string
+val rm : string