Module Analyses_manager


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