module Ignore:sig..end
type t = {
|
category : |
(* |
Category of elements to ignore.
| *) |
|
check : |
(* |
Check of elements to ignore.
| *) |
|
file : |
(* |
File in which ignore elements.
| *) |
|
intervals : |
(* |
Line intervals of elements to ignore.
| *) |