TraceDomain.Sourcesmodule Known : sig ... endmodule FootprintConfig : sig ... endmodule Footprint : sig ... endmodule Sanitizers : sig ... endval empty : tval is_empty : t -> boolval of_footprint : Absint.AccessPath.Abs.t -> tval get_footprint_indexes : t -> IStdlib.IntSet.t