functor
  (X : sig
         val option_name : string
         val help : string
         val kind : [> `Correctness | `Irrelevant | `Tuning ]
         val module_name : string
         val default : bool
       end->
  Plugin.BOOL