functor   (X : sig          val option_name : string          val help : string          val arg_name : string          val default : int        end->   Int