@[reducible, inline]

abbrev EvmYul.Yul.VarStore : Type

Equations

• EvmYul.Yul.VarStore = Finmap fun (x : EvmYul.Identifier) => EvmYul.Literal