module Syntactic_Callgraph: sig .. end
sig
end
val dump : (unit -> unit) Pervasives.ref
(unit -> unit) Pervasives.ref