AccessTree (infer.Absint.AccessTree)

module type S = sig ... end

tree of (trace, access path) associations organized by structure of access paths

module type Config = sig ... end

module DefaultConfig : Config

module Make
  (TraceDomain : AbstractDomain.WithBottom)
  (Config : Config) : 
  S with module TraceDomain = TraceDomain

module PathSet (Config : Config) : sig ... end

Concise representation of a set of access paths