`module VarNames : module type of sig ... end`
`module Summary : module type of sig ... end`
`include module type of Summary`
`type astate``= InferModules.AbstractDomain.BottomLifted(InferModules.SiofTrace).astate * VarNames.astate```
`val (<=) : lhs:astate ‑> rhs:astate ‑> bool`
`val join : astate ‑> astate ‑> astate`
`val widen : prev:astate ‑> next:astate ‑> num_iters:int ‑> astate`
`val pp : InferModules__AbstractDomain.F.formatter ‑> astate ‑> unit`