- | C.AConst (id,_,_)
- | C.AAbst (id,_)
- | C.AMutInd (id,_,_,_)
- | C.AMutConstruct (id,_,_,_,_) ->
- set_target id (C.Term t)
- | C.AMutCase (id,_,_,_,ot,it,pl) ->
+ | C.AVar (id,_,exp_named_subst)
+ | C.AConst (id,_,exp_named_subst)
+ | C.AMutInd (id,_,_,exp_named_subst)
+ | C.AMutConstruct (id,_,_,_,exp_named_subst) ->
+ set_target id (C.Term t) ;
+ List.iter (function (_,t) -> add_target_term t) exp_named_subst
+ | C.AMutCase (id,_,_,ot,it,pl) ->