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