[Eva] Use the same iter function in Eva and Server for Functions table

src/plugins/eva/api/general_requests.ml

@@ -73,12 +73,6 @@ let () = Request.register ~package
 
 module Functions =
 struct
-  let iter f =
-    Globals.Functions.iter
-      (fun kf ->
-         let name = Kernel_function.get_name kf in
-         if not (Ast_info.is_frama_c_builtin name) then f kf)
-
   let _array : kernel_function States.array =
     let model = States.model () in
 
@@ -94,7 +88,7 @@ struct
       ~key:Server.Kernel_ast.Functions.key
       ~name:"functions"
       ~descr:(Markdown.plain "AST Functions")
-      ~iter
+      ~iter:Server.Kernel_ast.Functions.iter
       ~add_reload_hook:(fun f ->
           Analysis.register_computation_hook (fun _ -> f () ))
 end

src/plugins/server/kernel_ast.mli

@@ -95,6 +95,7 @@ end
 
 module Functions :
 sig
+  val iter : (kernel_function -> unit) -> unit
   val key : kernel_function -> string
   val array : kernel_function States.array
 end