Module Analyzer

module Analyzer: sig .. end
Analyzer entry point

module type Analyzer = sig .. end
module Make: 
functor (Domain : Composite_domain.Composite_domain) -> Analyzer