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