Simulator.Make
module SimulationBackend : SimulationBackend
val call_simulation :
log_file:string ->
input_encoder:
('a -> (string list, Mavryk_base.TzPervasives.tztrace) Stdlib.result) ->
input:'b ->
(bytes, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.t
val simulate_call :
Evm_node_lib_dev_encoding.Ethereum_types.call ->
(((Simulation.execution_result,
Evm_node_lib_dev_encoding.Ethereum_types.hash)
Stdlib.result,
string)
Stdlib.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val call_estimate_gas :
Evm_node_lib_dev_encoding.Ethereum_types.call ->
(((Simulation.execution_result,
Evm_node_lib_dev_encoding.Ethereum_types.hash)
Stdlib.result,
string)
Stdlib.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val estimate_gas :
Evm_node_lib_dev_encoding.Ethereum_types.call ->
(((Simulation.execution_result,
Evm_node_lib_dev_encoding.Ethereum_types.hash)
Stdlib.result,
string)
Stdlib.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t
val is_tx_valid :
string ->
((Simulation.validation_result, string) Stdlib.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t