let print () =
if ForceUsers.get () then
result "@[<v>====== DISPLAYING USERS ======@ %t====== END OF USERS =========="
(fun fmt ->
!Db.Semantic_Callgraph.topologically_iter_on_functions
(fun kf ->
let callees = !Db.Users.get kf in
if not (Kernel_function.Hptset.is_empty callees) then
Format.fprintf fmt "@[<hov 4>%a: %a@]@ "
Kernel_function.pretty kf
(Pretty_utils.pp_iter
~pre:"" ~sep:"@ " ~suf:"" Kernel_function.Hptset.iter
Kernel_function.pretty)
callees))