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