sig
type t
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 ->
Check.T.t -> Parameter.map -> Check.report -> unit
end