Initial revision

[helm.git] / helm / interface / cicCooking.mli

diff --git a/helm/interface/cicCooking.mli b/helm/interface/cicCooking.mli
new file mode 100644 (file)
index 0000000..586e5d7
--- /dev/null
+++ b/helm/interface/cicCooking.mli
@@ -0,0 +1,6 @@
+exception Impossible
+exception NotImplemented of int * string
+exception WrongUriToConstant
+exception WrongUriToVariable of string
+exception WrongUriToInductiveDefinition
+val cook_obj : Cic.obj -> UriManager.uri -> (int * Cic.obj) list