]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/ng_kernel/nUri.mli
d0dcb723a2c95903b7743beebe9fca6c6c7c9aa9
[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