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