Module Debug_manager


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