Module Kernel.Files

module Files: sig .. end
Analyzed files

include Parameter_sig.String_list

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