Module Parameters.Files


module Files: sig .. end
Analyzed files

include STRING_LIST

List of files to analyse
module Check: Plugin.BOOL 
Behavior of option "-check"
module Copy: Plugin.BOOL 
Behavior of option "-copy"
module Orig_name: Plugin.BOOL 
Behavior of option "-orig-name"