sig
  val option_name : string
  val help : string
  val kind : [> `Correctness | `Irrelevant | `Tuning ]
end