EVM Words

requires "krypto.k"
requires "evm-types.k"
requires "json.k"
requires "serialization.k"

module EVM-DATA
    imports KRYPTO
    imports EVM-TYPES
    imports SERIALIZATION
    imports STRING-BUFFER
    imports MAP-SYMBOLIC
    imports COLLECTIONS
    imports JSON

```{.k .concrete .bytes} imports BYTES

```k
endmodule