Module Impact

module Impact: sig .. end

module Register: sig .. end

Impact analysis.