cic_dir nuprl_dir rdf_dir dtd_dir servers_file host port my_own_url
dtd_base_url
(match cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")
cic_dir nuprl_dir rdf_dir dtd_dir servers_file host port my_own_url
dtd_base_url
(match cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")