`module Known : sig ... end`
`module FootprintConfig : AccessTree.Config`
`module Footprint : sig ... end`
`module Sanitizers : sig ... end`
`type astate````=` `{`

`known : Known.astate;`
`footprint : Footprint.astate;`
`sanitizers : Sanitizers.astate;`

`}```
`type t``= astate```
`val empty : t`
`val is_empty : t ‑> bool`
`val of_source : Source.t ‑> t`
`val of_footprint : InferIR.AccessPath.Abs.t ‑> t`
`val add : Source.t ‑> t ‑> t`
`val get_footprint_indexes : t ‑> InferStdlib.IntSet.t`