sig
  val option_name : string
  val help : string
  val kind : [> `Correctness | `Irrelevant | `Tuning ]
  val arg_name : string
  type t
  val default_val : Plugin.COMPLEX_VALUE.t
  val default_key : string
  val ty : Plugin.COMPLEX_VALUE.t Type.t
end