Module Composite_domain

module Composite_domain: sig .. end

composite abstract domain (no longer with communications which have been internalized)

module type Composite_domain = sig .. end

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