Module Help_manager

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