Module Kernel.Files

module Files: sig .. end
Analyzed files

include Plugin.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"