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