BufferOverrunDomain.KeyRhs
Right hand side of the alias domain. See AliasTarget.
AliasTarget
type t = AbsLoc.Loc.t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal