Costlib.ConfigImpactAnalysis
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