Module Dynamic_contact_map_domain

module Dynamic_contact_map_domain: sig .. end

This domain tracks which rules can be applied, and warns other domains at the first application of a rule

module Domain: Analyzer_domain_sig.Domain