sig
  val option_name : string
  val descr : string
  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