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 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 *)