Seed reset before each convert_obj.

[helm.git] / helm / software / components / ng_kernel / nUri.mli

diff --git a/helm/software/components/ng_kernel/nUri.mli b/helm/software/components/ng_kernel/nUri.mli
index d0dcb723a2c95903b7743beebe9fca6c6c7c9aa9..7330babd6c609fb210c9b74ad9f4904fa3857384 100644 (file)
--- a/helm/software/components/ng_kernel/nUri.mli
+++ b/helm/software/components/ng_kernel/nUri.mli
@@ -5,3 +5,7 @@ val uri_of_string: string -> uri
 val eq: uri -> uri -> bool
 
 module UriHash: Hashtbl.S with type key = uri
+
+(* CACCA *)
+val ouri_of_nuri: uri -> UriManager.uri
+val nuri_of_ouri: UriManager.uri -> uri