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