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