ImpurityDomain.ModifiedVarMap
type t
val bottom : t
val add : IR.Pvar.t -> ModifiedAccess.t -> t -> t
val fold : (IR.Pvar.t -> ModifiedAccess.t -> 'a -> 'a) -> t -> 'a -> 'a