MockTrace.Sources
module Known : sig ... end
module FootprintConfig : Absint.AccessTree.Config
module Footprint : sig ... end
module Sanitizers : sig ... end
val empty : t
val is_empty : t -> bool
val of_footprint : Absint.AccessPath.Abs.t -> t
val get_footprint_indexes : t -> IStdlib.IntSet.t