functor (X : sig val option_name : string val descr : string val module_name : string val default : bool end) -> Plugin.BOOL