Module Debug_manager

module Debug_manager: sig .. end

Nothing exported. Automatic registration.