exception Impossible
exception NotImplemented of int * string
exception WrongUriToConstant
exception WrongUriToVariable of string
exception WrongUriToInductiveDefinition
val cook_obj : Cic.obj -> UriManager.uri -> (int * Cic.obj) list