Simulator.Makemodule SimulationBackend : SimulationBackendval 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.tval 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.tval 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.tval 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.tval is_tx_valid :
string ->
((Simulation.validation_result, string) Stdlib.result,
Mavryk_base.TzPervasives.tztrace)
Stdlib.result
Lwt.t