Module edit_state

Enums

• EditStateError

Functions

• put_results
  Adds the given pairs to map with var ids as keys, failing if some variable is overridden.
• take_args
  Given a map with var ids as keys, extracts out the given ids, failing if some id is missing.