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