Module Analyzer

module Analyzer: sig .. end

module type Analyzer = sig .. end

module Make: 
functor (Domain : Composite_domain.Composite_domain) -> Analyzer