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