Module Debug_manager

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