-val configRoot : string
-(* Root directory for a directory hierarchy corresponding to domain structure,
- * where each node contains files related to that domain's configuration. *)
+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. *)
+