(function (name,_,ty,_) ->
Some (C.Name name,Cic.Decl ty)) funs)
in
(function (name,_,ty,_) ->
Some (C.Name name,Cic.Decl ty)) funs)
in
List.fold_right
(fun (name,ind,ty,bo) i -> name ^ " = \n" ^
pp bo (names@context) ^ i)
List.fold_right
(fun (name,ind,ty,bo) i -> name ^ " = \n" ^
pp bo (names@context) ^ i)