| Cic of string
| Theory of string
type http_getter_rdf_uri = string * http_getter_xml_uri
+type http_getter_nuprl_uri = string
type http_getter_uri =
- | Xml_uri of http_getter_xml_uri
+ | Cic_uri of http_getter_xml_uri
+ | Nuprl_uri of http_getter_nuprl_uri
| Rdf_uri of http_getter_rdf_uri
module StringSet = Set.Make (String)