branch for universe

[helm.git] / components / ng_kernel / oCic2NCic.mli

diff --git a/components/ng_kernel/oCic2NCic.mli b/components/ng_kernel/oCic2NCic.mli
new file mode 100644 (file)
index 0000000..05e1364
--- /dev/null
+++ b/components/ng_kernel/oCic2NCic.mli
@@ -0,0 +1 @@
+val convert_obj: UriManager.uri -> Cic.obj -> NCic.obj list