let paramsno =
match fst(CicEnvironment.get_obj CicUniv.empty_ugraph uri) with
C.InductiveDefinition (_,_,paramsno,_) -> paramsno
let paramsno =
match fst(CicEnvironment.get_obj CicUniv.empty_ugraph uri) with
C.InductiveDefinition (_,_,paramsno,_) -> paramsno