Re: Next-state involving existential quantifier using PlusCal?

[Elliott Jin <ellio...@xxxxxxxxx>]

Thanks, this worked perfectly!

On Monday, July 25, 2016 at 2:46:30 PM UTC-7, Leslie Lamport wrote:

with (value \in Values \cup {Deleted})

  { db_value := value }