Module MockTrace.Sources

module Known : sig ... end
module FootprintConfig : Absint.AccessTree.Config
module Footprint : sig ... end
module Sanitizers : sig ... end
type t = {
known : Known.t;
footprint : Footprint.t;
sanitizers : Sanitizers.t;
}
val empty : t
val is_empty : t -> bool
val of_source : Source.t -> t
val of_footprint : Absint.AccessPath.Abs.t -> t
val add : Source.t -> t -> t
val get_footprint_indexes : t -> IStdlib.IntSet.t