Frama_c_kernel_base.Mergecil
val merge : Cil_types.file list -> string -> Cil_types.file
Merge a number of CIL files