Module `BO__AbsLoc`

module Allocsite : sig ... end

module Loc : sig ... end

module LocSet : IStdlib.PrettyPrintable.PPSet with type PPSet.elt = Loc.t

module PowLoc : sig ... end

val can_strong_update : PowLoc.t -> bool: It checks if the abstract location can be updated strongly.