Module File_manager

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