functor
  (X : sig
         val default : int
         val option_name : string
         val help : string
         val kind : [> `Correctness | `Irrelevant | `Tuning ]
         val arg_name : string
       end->
  INT