| 1 | val libRoot : string |
| 2 | (* Basis library root directory *) |
| 3 | |
| 4 | val resultRoot : string |
| 5 | (* Root directory for a directory hierarchy corresponding to domain structure, |
| 6 | * where each node contains Domtool-generated result files for that domain. *) |
| 7 | |