helm/interface/cicTypeChecker.mli

   1 exception NotWellTyped of string
   2 exception WrongUriToConstant of string
   3 exception WrongUriToVariable of string
   4 exception WrongUriToMutualInductiveDefinitions of string
   5 exception ListTooShort
   6 exception NotPositiveOccurrences of string
   7 exception NotWellFormedTypeOfInductiveConstructor of string
   8 exception WrongRequiredArgument of string
   9 val typecheck : UriManager.uri -> unit