sig type t = { category : CategoryName.t; check : CheckName.t; file : string option; intervals : (int * int) list; } end