Module Reduc_options

module Reduc_options: sig .. end

include Plugin.General_services
module Reduc: Parameter_sig.Bool 
module GenAnnot: Parameter_sig.String