data.md

EVM Words

requires "evm-types.md"
requires "json-rpc.md"
requires "serialization.md"

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

endmodule