(* {2 environment gathered data} *)
val cic_dbm : string lazy_t (* XML map DBM file for CIC *)
+val cic_dbm_real : string lazy_t (* XML map DBM file for CIC ^ ".pag"*)
val nuprl_dbm : string lazy_t (* XML map DBM file for NuPRL *)
val rdf_dbm : string lazy_t (* RDF map DBM file *)
val xsl_dbm : string lazy_t (* XSL map DBM file *)
+val dump_file : string lazy_t (* CIC DBM tree dump file *)
+val prefetch : bool lazy_t (* prefetch URIs tree? *)
val xml_index : string lazy_t (* XMLs' index *)
val rdf_index : string lazy_t (* RDFs' index *)
val xsl_index : string lazy_t (* XSLTs' index *)