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