Module Frama_c_kernel.Mergecil

val merge : Cil_types.file list -> string -> Cil_types.file

Merge a number of CIL files