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.
| *) |