Module Report_parameters

module Report_parameters: sig .. end

include Plugin.General_services
module Print: 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.Filepath 
module Classify: Parameter_sig.Bool 
module Rules: Parameter_sig.String_list 
module Warning: Parameter_sig.String 
module Error: Parameter_sig.String 
module Status: Parameter_sig.Bool 
module UntriedStatus: Parameter_sig.String 
module UnknownStatus: Parameter_sig.String 
module InvalidStatus: Parameter_sig.String 
module Output: Parameter_sig.Filepath 
module OutputReviews: Parameter_sig.Filepath 
module OutputErrors: Parameter_sig.Filepath 
module OutputUnclassified: Parameter_sig.Filepath 
module AbsolutePath: Parameter_sig.Bool 
module Stdout: Parameter_sig.Bool 
module Stderr: Parameter_sig.Bool 
module Exit: Parameter_sig.Bool