package frama-c
Module Frama_c_kernel.Mergecil
val merge : Cil_types.file list -> string -> Cil_types.fileMerge a number of CIL files
Frama_c_kernel.Mergecilval merge : Cil_types.file list -> string -> Cil_types.fileMerge a number of CIL files