Module File_manager


module File_manager: sig .. end
Automatic registration. Nothing exported.