BO.AbsLoc
module Allocsite : sig ... end
module Loc : sig ... end
module LocSet : IStdlib.PrettyPrintable.PPSet with type elt = Loc.t
module PowLoc : sig ... end
val can_strong_update : PowLoc.t -> bool
It checks if the abstract location can be updated strongly.