module CfgDump: sig .. end
sig
end
include Mcfg.S
val fopen : Cil_types.kernel_function -> string option -> unit
Cil_types.kernel_function -> string option -> unit
val flush : unit -> unit
unit -> unit