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