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