sig val ignore_merge_conflicts : bool Pervasives.ref val merge : Cil_types.file list -> string -> Cil_types.file end