branch (uri, typeno) insource paramsno t fix head args
let elim_of ?(sort = Cic.Type (CicUniv.fresh ())) uri typeno =
- let (obj, univ) = (CicEnvironment.get_obj uri CicUniv.empty_ugraph) in
+ let (obj, univ) = (CicEnvironment.get_obj CicUniv.empty_ugraph uri) in
match obj with
| Cic.InductiveDefinition (indTypes, params, leftno) ->
let (name, inductive, ty, constructors) =