+ menu_open_disk.mli \
+ menu_open_disk.ml \
+ menu_open_uri.mli \
+ menu_open_uri.ml \
+ op_checksum_file.mli \
+ op_checksum_file.ml \
+ op_copy_regvalue.mli \
+ op_copy_regvalue.ml \
+ op_disk_usage.mli \
+ op_disk_usage.ml \
+ op_download_as_reg.mli \
+ op_download_as_reg.ml \
+ op_download_dir_find0.mli \
+ op_download_dir_find0.ml \
+ op_download_dir_tarball.mli \
+ op_download_dir_tarball.ml \
+ op_download_file.mli \
+ op_download_file.ml \
+ op_file_information.mli \
+ op_file_information.ml \
+ op_inspection_dialog.mli \
+ op_inspection_dialog.ml \
+ op_view_file.mli \
+ op_view_file.ml \