let obj,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
let name,nleft,arity,cons_list =
match obj with
Cic.InductiveDefinition (tys,_,nleft,_) ->
let obj,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
let name,nleft,arity,cons_list =
match obj with
Cic.InductiveDefinition (tys,_,nleft,_) ->