- | C.AConst (id,_,_) -> print_ann i2a id
- | C.AMutInd (id,_,_,_) -> print_ann i2a id
- | C.AMutConstruct (id,_,_,_,_) -> print_ann i2a id
- | C.AMutCase (id,_,_,_,ty,te,patterns) ->
+ | C.AVar (id,_,exp_named_subst)
+ | C.AConst (id,_,exp_named_subst)
+ | C.AMutInd (id,_,_,exp_named_subst)
+ | C.AMutConstruct (id,_,_,_,exp_named_subst) ->
+ [< print_ann i2a id ;
+ List.fold_right
+ (fun (_,x) i -> [< aux x ; i >])
+ exp_named_subst [<>]
+ >]
+ | C.AMutCase (id,_,_,ty,te,patterns) ->