sig
type t = structure
val category : CategoryName.t
val name : CheckName.t
val multiple : bool
val description : string
val documentation : string
val rationale : string
val limits : string
val parameters : Parameter.map
val run :
State.id ->
Ocamldep.dependency list -> t -> Parameter.map -> report -> unit
end