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