Module Core.Direct_analysis

module With_focusing = Codex.Domains.With_focusing
module Log : sig ... end
module Callstack : sig ... end
module Analyze (Domain : With_focusing.S_with_types) : sig ... end