module Files: sig .. end
sig
end
include Plugin.String_list
module Check: Plugin.Bool
Plugin.Bool
module Copy: Plugin.Bool
module Orig_name: Plugin.Bool