Module bytecode_interpreter::concrete::local_state
source · Expand description
This file implements the information needed in the local interpretation context, i.e., the context created and updated when interpreting a single function.