FUpdatedPersistentPairVM

Represents an update to a persistent `var_`weak_map_.