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