data.md

EVM Words

requires "blockchain-k-plugin/krypto.md"
requires "evm-types.md"
requires "json-rpc.md"
requires "serialization.md"

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

    imports BYTES

endmodule