let main _fmt =
let forceout = Inout_parameters.ForceOut.get () in
let forceexternalout = Inout_parameters.ForceExternalOut.get () in
if forceout || forceexternalout
then begin
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun kf ->
if Kernel_function.is_definition kf
then begin
if forceout
then Inout_parameters.result "%a" !Db.Outputs.display kf ;
if forceexternalout
then Inout_parameters.result "%a" !Db.Outputs.display_external kf ;
end)
end