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