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