`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 : functor (TraceDomain : InferModules.AbstractDomain.WithBottom) -> functor (Config : Config) -> S with module TraceDomain = TraceDomain`
`module PathSet : functor (Config : Config) -> sig ... end`

Concise representation of a set of access paths