Module Report_parameters

module Report_parameters: sig .. end

include Plugin.General_services
module Enabled: Parameter_sig.Bool 
module PrintProperties: Parameter_sig.Bool 
module Untried: Parameter_sig.Bool 
module Specialized: Parameter_sig.Bool 
module Proven: Parameter_sig.Bool 
module CSVFile: Parameter_sig.String