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