val rdf_dbm : string (* RDF map DBM file *)
val xsl_dbm : string (* XSL map DBM file *)
val xml_index : string (* XMLs' index *)
val rdf_index : string (* RDFs' index *)
val xsl_index : string (* XSLTs' index *)
val rdf_dbm : string (* RDF map DBM file *)
val xsl_dbm : string (* XSL map DBM file *)
val xml_index : string (* XMLs' index *)
val rdf_index : string (* RDFs' index *)
val xsl_index : string (* XSLTs' index *)