]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_kernel/nUri.mli
added set_ppterm
[helm.git] / helm / software / components / ng_kernel / nUri.mli
1 type uri
2
3 val string_of_uri: uri -> string
4 val uri_of_string: string -> uri
5 val eq: uri -> uri -> bool
6
7 module UriHash: Hashtbl.S with type key = uri
8
9 (* CACCA *)
10 val ouri_of_nuri: uri -> UriManager.uri
11 val nuri_of_ouri: UriManager.uri -> uri