functor
  (X : sig
         val option_name : string
         val help : string
         val arg_name : string
         val default : string
       end)
  -> String