Module CfgDump

module CfgDump: sig .. end

include Mcfg.S
val fopen : Cil_types.kernel_function -> string option -> unit
val flush : unit -> unit