X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FcicTypeChecker.mli;fp=helm%2Finterface%2FcicTypeChecker.mli;h=21f4ab91be9d28f8d7962a0f3566840e6c3eb75a;hb=c01d2aaea05f7385bee46addd900cd0397756389;hp=0000000000000000000000000000000000000000;hpb=38e1ee1df7be76922343935255e26673af8c7682;p=helm.git

diff --git a/helm/interface/cicTypeChecker.mli b/helm/interface/cicTypeChecker.mli
new file mode 100644
index 000000000..21f4ab91b
--- /dev/null
+++ b/helm/interface/cicTypeChecker.mli
@@ -0,0 +1,9 @@
+exception NotWellTyped of string
+exception WrongUriToConstant of string
+exception WrongUriToVariable of string
+exception WrongUriToMutualInductiveDefinitions of string
+exception ListTooShort
+exception NotPositiveOccurrences of string
+exception NotWellFormedTypeOfInductiveConstructor of string
+exception WrongRequiredArgument of string
+val typecheck : UriManager.uri -> unit