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