Module Help_manager


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