module Files: sig .. end
sig
end
include STRING_LIST
module Check: Plugin.BOOL
Plugin.BOOL
module Copy: Plugin.BOOL
module Orig_name: Plugin.BOOL