Initial revision

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

diff --git a/helm/interface/cicTypeChecker.mli b/helm/interface/cicTypeChecker.mli
new file mode 100644 (file)
index 0000000..21f4ab9
--- /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