Module BO__BufferOverrunDomain.KeyRhs

Right hand side of the alias domain. See AliasTarget.

type t = BO.AbsLoc.Loc.t
val equal : t -> t -> bool