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