`type t````=`

`|` `Var of InferIR.Var.t`
`|` `Allocsite of Allocsite.t`
`|` `Field of t * InferIR.Typ.Fieldname.t`

``
`val compare : t ‑> t ‑> int`
`val equal : t ‑> t ‑> bool`
`val unknown : t`
`val pp : F.formatter ‑> t ‑> unit`
`val is_var : t ‑> bool`
`val contains_allocsite : t ‑> bool`
`val of_var : InferIR.Var.t ‑> t`
`val of_allocsite : Allocsite.t ‑> t`
`val of_pvar : InferIR.Pvar.t ‑> t`
`val of_id : InferIR.Ident.t ‑> t`
`val append_field : t ‑> fn:InferIR.Typ.Fieldname.t ‑> t`
`val is_return : t ‑> bool`
`val is_field_of : loc:t ‑> field_loc:t ‑> bool`