Constructor macro for honsed execution-environmentp structures.
Syntax:
(make-honsed-execution-environment [:owner-address <owner-address>]
[:sender-address <sender-address>]
[:gas-price <gas-price>]
[:input-data <input-data>]
[:causer-account <causer-account>]
[:value <value>]
[:bytecode <bytecode>]
[:block-header <block-header>]
[:depth <depth>]
[:permission <permission>])
This is identical to make-execution-environment, except that we hons the structure we are creating.
This is an ordinary honsing
Macro:
(defmacro make-honsed-execution-environment (&rest args) (std::make-aggregate 'execution-environment args '((:owner-address) (:sender-address) (:gas-price) (:input-data) (:causer-account) (:value) (:bytecode) (:block-header) (:depth) (:permission)) 'make-honsed-execution-environment t))