Module bytecode_interpreter::concrete::value
source · Expand description
This file implements several value representations to track values produced and consumed during
the statement interpretation and expression evaluation process. The value representations are
carefully designed to match the type system. In particular, BaseValue must match BaseType
and TypedValue must match Type (by match, we mean each value must have a way to type it,
and each type must also have a way to construct a value of this type).