sig
type t = Check.tokens
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 -> Check.report -> unit
end