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