debug (lazy ("indexing : " ^ (NUri.string_of_uri uri)));
debug (lazy ("no : " ^ (string_of_int (fst (Obj.magic uri)))));
match obj with
+ | (_,_,[],[],NCic.Constant(_,_,None,ty,_)) ->
+ let nref = NReference.reference_of_spec uri NReference.Decl in
+ forward_infer_step s (NCic.Const nref) ty
| (_,d,[],[],NCic.Constant(_,_,Some(_),ty,_)) ->
let nref = NReference.reference_of_spec uri (NReference.Def d) in
forward_infer_step s (NCic.Const nref) ty