NCic.Constant
(relev,name,HExtlib.map_option (apply_subst subst []) bo,
apply_subst subst [] ty,attrs)
+ | NCic.Fixpoint (ind,fl,attrs) ->
+ let fl =
+ List.map
+ (function (relevance,name,recno,ty,bo) ->
+ relevance,name,recno,apply_subst subst [] ty,apply_subst subst [] bo
+ ) fl
+ in
+ NCic.Fixpoint (ind,fl,attrs)
| _ -> assert false (* not implemented yet *)
;;