Module Ignore

module Ignore: sig .. end
Ignore files.

type t = {
   category : CategoryName.t; (*Category of elements to ignore.*)
   check : CheckName.t; (*Check of elements to ignore.*)
   file : string option; (*File in which ignore elements.*)
   intervals : (int * int) list; (*Line intervals of elements to ignore.*)
}
The type of elements to ignore when outputing a report.