Module `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