val libRoot : string
(* Basis library root directory *)

val resultRoot : string
(* 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