module Semantic_Callgraph: sig .. end
sig
end
val dump : (unit -> unit) Pervasives.ref
(unit -> unit) Pervasives.ref
val topologically_iter_on_functions : ((Db_types.kernel_function -> unit) -> unit) Pervasives.ref
((Db_types.kernel_function -> unit) -> unit) Pervasives.ref