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.