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