functor (X : sig val option_name : string val descr : string val arg_name : string val default : string end) -> STRING