sig
  type t = Cudf.package * Cudf.package * Strongconflicts.cfl_type
  val compare : '-> '-> int
  val default : Cudf.package * Cudf.package * Strongconflicts.cfl_type
end