Module Core.Direct_analysis

module Analyze (Domain : Codex.Domains.Memory_domains.With_focusing.S_with_types) : sig ... end

Setup the analysis for a given abstract domain.