`include sig ... end`
`type astate``= AliasMap.astate * AliasRet.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`
`val bot : astate`
`val lift : (AliasMap.astate ‑> AliasMap.astate) ‑> astate ‑> astate`
`val lift_v : (AliasMap.astate ‑> 'a) ‑> astate ‑> 'a`
`val find : InferIR.Ident.t ‑> astate ‑> AliasTarget.t option`
`val find_ret : astate ‑> AliasTarget.t option`
`val load : InferIR.Ident.t ‑> AliasTarget.t ‑> astate ‑> astate`
`val store_simple : InferModules.AbsLoc.Loc.t ‑> InferIR.Exp.t ‑> astate ‑> astate`
`val store_empty : Val.t ‑> InferModules.AbsLoc.Loc.t ‑> InferIR.Exp.t ‑> astate ‑> astate`
`val remove_temps : InferIR.Ident.t list ‑> astate ‑> astate`
`val pp : F.formatter ‑> astate ‑> unit`