`module M : sig ... end`
`type t``= AliasTarget.t M.t```
`type astate``= t```
`val bot : t`
`val (<=) : lhs:t ‑> rhs:t ‑> bool`
`val join : t ‑> t ‑> t`
`val widen : prev:t ‑> next:t ‑> num_iters:int ‑> t`
`val pp : F.formatter ‑> t ‑> unit`
`val load : InferIR.Ident.t ‑> AliasTarget.t ‑> t ‑> t`
`val store : AbsLoc.Loc.t ‑> InferIR.Exp.t ‑> t ‑> t`
`val find : InferIR.Ident.t ‑> t ‑> AliasTarget.t option`
`val remove_temps : InferIR.Ident.t list ‑> t ‑> t`