functor
  (X : sig val option_name : string val help : string val default : bool end) ->
  Bool