`module F = Format`
`module Domain : sig ... end`

Forward analysis to compute uninitialized variables at each program point

`type summary````=` `{`

`pre : Domain.t;`
`post : Domain.t;`

`}```
`module VarPair : sig ... end`
`val pp_summary : F.formatter ‑> summary ‑> unit`
`module Record : functor (Domain1 : InferModules.AbstractDomain.S) -> functor (Domain2 : InferModules.AbstractDomain.S) -> functor (Domain3 : InferModules.AbstractDomain.S) -> sig ... end`