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))