`type astate``= InferModules__UninitDomain.Record(UninitVars)(AliasedVars)(D).astate``=` `{`

`uninit_vars : UninitVars.astate;`
`aliased_vars : AliasedVars.astate;`
`prepost : D.astate * D.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__UninitDomain.F.formatter ‑> astate ‑> unit`