Make (mavkit-evm-node-libs.Evm_node_lib

Parameters

module SimulationBackend : SimulationBackend

Signature

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_prod_encoding.Ethereum_types.call ->
  (((Simulation.execution_result,
      Evm_node_lib_prod_encoding.Ethereum_types.hash)
      Stdlib.result,
     string)
     Stdlib.result,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val call_estimate_gas : 
  Evm_node_lib_prod_encoding.Ethereum_types.call ->
  (((Simulation.execution_result,
      Evm_node_lib_prod_encoding.Ethereum_types.hash)
      Stdlib.result,
     string)
     Stdlib.result,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val confirm_gas : 
  Evm_node_lib_prod_encoding.Ethereum_types.call ->
  Evm_node_lib_prod_encoding.Ethereum_types.quantity ->
  Evm_node_lib_prod_encoding.Ethereum_types.quantity
    Mavryk_base.TzPervasives.tzresult
    Lwt.t

val estimate_gas : 
  Evm_node_lib_prod_encoding.Ethereum_types.call ->
  (((Simulation.execution_result,
      Evm_node_lib_prod_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