ConfigImpactAnalysis (infer.Costlib.ConfigImpactAnalysis)

type mode = ATDGenerated.Jsonconfigimpact_t.config_impact_mode

val equal_mode : mode -> mode -> bool

val pp_mode : Stdlib.Format.formatter -> mode -> unit

val is_in_strict_mode_paths : IBase.SourceFile.t -> bool

val mode : mode

module LatentConfig : sig ... end

module LatentConfigs : 
  Absint.AbstractDomain.FiniteSetS with type elt = LatentConfig.t

module UncheckedCallee : sig ... end

module UncheckedCallees : sig ... end

module ClassGateConditions : sig ... end

module GatedClasses : 
  Absint.AbstractDomain.MapS
    with type key = IR.Typ.Name.t
     and type value = ClassGateConditions.t

module LatentConfigAlias : sig ... end

module Summary : sig ... end

val checker : Summary.t Absint.InterproceduralAnalysis.t -> Summary.t option