Module Mergecil

module Mergecil: sig .. end

Merge a number of CIL files


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