exception NotWellFormedTypeOfInductiveConstructor of string
exception WrongRequiredArgument of string
val typecheck : UriManager.uri -> unit
exception NotWellFormedTypeOfInductiveConstructor of string
exception WrongRequiredArgument of string
val typecheck : UriManager.uri -> unit